Check world (build F* and all projects) #41
nikswamycheck-world.yml
on: workflow_dispatch
test-fstar
0s
test-pulse-boot
0s
test-hacl
0s
test-everparse
0s
test-merkle-tree
0s
test-mitls-fstar
0s
Annotations
3 errors
|
fstar-nix
Process completed with exit code 1.
|
|
test-fstar-boot
Process completed with exit code 2.
|
|
build-fstar
Process completed with exit code 2.
|