Check world (test F* + all subprojects) #70
nikswamycheck-world.yml
on: workflow_dispatch
build
/
build
20m 37s
build (nix)
/
fstar-nix
36s
friends-nix
/
comparse
1m 16s
friends-nix
/
dy-star
1m 38s
friends-nix
/
mls-star
1m 42s
friends
/
test-krml
0s
friends
/
test-steel
0s
friends
/
test-hacl
0s
friends
/
test-everparse
0s
friends
/
test-merkle-tree
0s
friends
/
test-mitls-fstar
0s
Annotations
7 errors and 7 warnings
|
friends-nix / comparse
Process completed with exit code 1.
|
|
friends-nix / dy-star
Process completed with exit code 1.
|
|
friends-nix / mls-star
Process completed with exit code 1.
|
|
friends / build-steel
Process completed with exit code 2.
|
|
friends / build-pulse
Process completed with exit code 2.
|
|
friends / build-krml
The run was canceled by @nikswamy.
|
|
friends / build-krml
The operation was canceled.
|
|
build (nix) / fstar-nix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends-nix / comparse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends-nix / dy-star
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends-nix / mls-star
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build / build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-steel
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
friends / build-pulse
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-repo
Expired
|
314 MB |
|
|
fstar-src.tar.gz
Expired
|
4.99 MB |
|
|
fstar.tar.gz
Expired
|
140 MB |
|