Add support for free constants with refinement types #1585
Triggered via pull request
November 18, 2024 18:24
daniel-larraz
Status
Success
Total duration
16m 36s
Artifacts
–
Annotations
1 warning
|
kind2-build (macos-14)
These files were overwritten during the `brew link` step:
|