fix(engine/fstar): fix super typeclasses attributes #2826
Triggered via pull request
September 23, 2024 15:50
Status
Success
Total duration
4m 18s
Artifacts
–
test.yml
on: pull_request
no-std-lib
33s
Matrix: test-workspace