Skip to content

SAWScript

SAWScript #3930

Annotations

3 warnings

build (ubuntu-20.04, 9.4.8, 3.10.3.0, false, false)

succeeded Dec 17, 2024 in 4m 32s
Set up job
2s
Run actions/checkout@v4
1s
Run git submodule update --init
13s
Run NAME="saw-1.2.0.99-ubuntu-20.04-X64"
0s
Run haskell-actions/setup@v2
1m 48s
Post-GHC installation fixups on Windows
0s
Run .github/ci.sh install_system_deps
2s
Restore cabal store cache
9s
Run sed -i.bak \
0s
Run .github/ci.sh build
58s
Run .github/ci.sh build_cryptol
7s
Run GaloisInc/.github/actions/cabal-collect-bins@v1.1.1
11s
Run actions/upload-artifact@v4
5s
Run actions/upload-artifact@v4
0s
Run .github/ci.sh setup_dist_bins
1s
Run .github/ci.sh bundle_files
0s
Run .github/ci.sh zip_dist $NAME
13s
Run .github/ci.sh zip_dist_with_solvers $NAME-with-solvers
22s
Run .github/ci.sh sign $NAME.tar.gz
1s
Run .github/ci.sh sign $NAME-with-solvers.tar.gz
1s
Run actions/upload-artifact@v4
3s
Run actions/upload-artifact@v4
4s
Run actions/upload-artifact@v4
0s
Run .github/ci.sh collect_hpc_files
0s
Run actions/upload-artifact@v4
0s
Save cabal store cache
5s
Post Run actions/checkout@v4
0s
Complete job
0s