Skip to content
Test Workspace

fix(engine/fstar): fix c_trait_goal and always use it for traits #2383

Sign in to view logs

fix(engine/fstar): fix c_trait_goal and always use it for traits

fix(engine/fstar): fix c_trait_goal and always use it for traits #2383

Triggered via pull request June 26, 2024 16:08
@W95PspW95Psp
synchronize #738
fix-719-for-good---hopefully
Status Success
Total duration 2m 58s
Artifacts –

test.yml

on: pull_request
no-std-lib
34s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in