Skip to content

Check world (test F* + all subprojects) #63

Check world (test F* + all subprojects)

Check world (test F* + all subprojects) #63

Annotations

1 warning

friends  /  build-steel

succeeded Jan 11, 2025 in 14m 19s
Set up job
2s
Initialize containers
50s
Cleanup
0s
Run echo "HOME=/home/user" >> $GITHUB_ENV
0s
Run mtzguido/set-opam-env@master
0s
Run actions/download-artifact@v4
3s
Run tar -xzf fstar.tar.gz
3s
Run echo "FSTAR_EXE=$(pwd)/fstar/bin/fstar.exe" >> $GITHUB_ENV
0s
Checkout steel
1s
Build
13m 11s
Run mtzguido/gci-upload@master
6s
Post Checkout steel
0s
Stop containers
0s
Complete job
0s