Skip to content

Cryptol

Cryptol #2928

Annotations

4 warnings

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true)

succeeded Nov 26, 2024 in 6m 12s
Set up job
2s
Run actions/checkout@v3
5s
Run actions/setup-python@v2
0s
Run abatilo/actions-poetry@v2.0.0
9s
Run haskell-actions/setup@v2
2m 16s
Post-GHC installation fixups on Windows
0s
Restore cache store cache
5s
Run .github/ci.sh install_system_deps
2s
Run .github/ci.sh build
1m 49s
Run .github/ci.sh setup_dist_bins
2s
Run .github/ci.sh check_docs
1m 0s
Run .github/ci.sh check_rpc_docs
0s
Partition test-lib tests
8s
Run .github/ci.sh bundle_files
0s
Run .github/wix.ps1
0s
Run .github/ci.sh sign cryptol.msi
0s
Run NAME="cryptol-3.2.0.99-ubuntu-22.04-X64"
7s
Run NAME="cryptol-3.2.0.99-ubuntu-22.04-X64"
12s
Run .github/ci.sh sign ${NAME}.tar.gz
2s
Run actions/upload-artifact@v4
2s
Run actions/upload-artifact@v4
3s
Run actions/upload-artifact@v4
0s
Run actions/upload-artifact@v4
0s
Run actions/upload-artifact@v4
0s
Save cache store cache
3s
Post Run actions/setup-python@v2
0s
Post Run actions/checkout@v3
0s
Complete job
0s