Skip to content

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

Check world (test F* + all subprojects)

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

Annotations

11 warnings

friends  /  build-krml

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