fix: fstar: default trait #2782
Triggered via pull request
September 16, 2024 13:51
Status
Success
Total duration
4m 58s
Artifacts
–
test.yml
on: pull_request
no-std-lib
52s
Matrix: test-workspace