Skip to content

SAWScript

SAWScript #3959

Annotations

3 warnings

build (ubuntu-22.04, 3.10.3.0, 9.8.2, true, false)

succeeded Jan 3, 2025 in 5m 25s
Set up job
2s
Run actions/checkout@v4
1s
Run git submodule update --init
12s
Run NAME="saw-1.2.0.99-ubuntu-22.04-X64"
0s
Run haskell-actions/setup@v2
2m 53s
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
0s
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
14s
Run .github/ci.sh zip_dist_with_solvers $NAME-with-solvers
22s
Run .github/ci.sh sign $NAME.tar.gz
0s
Run .github/ci.sh sign $NAME-with-solvers.tar.gz
0s
Run actions/upload-artifact@v4
0s
Run actions/upload-artifact@v4
0s
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