fstar: build with dune #376378
Triggered via pull request
December 27, 2023 20:26
pnmadelaine
pnmadelaine
synchronize
#275924
Status
Success
Total duration
11s
Artifacts
–