Fix Nix build header: F* and krml versions empty #928
Triggered via pull request
October 27, 2023 14:17
cmovcc
Status
Success
Total duration
10h 15m 32s
Artifacts
1
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
log
Expired
|
2.76 MB |
|