Skip to content

Cryptol

Cryptol #3045

Annotations

2 warnings

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

succeeded Jan 24, 2025 in 7m 14s
Set up job
2s
Run actions/checkout@v3
6s
Run actions/setup-python@v2
0s
Run abatilo/actions-poetry@v2.0.0
11s
Run haskell-actions/setup@v2
2m 35s
Post-GHC installation fixups on Windows
0s
Restore cache store cache
6s
Run .github/ci.sh install_system_deps
2s
Run .github/ci.sh build
2m 24s
Extract Cryptol executables to dist/bin/
2s
Extract Cryptol API test suite executable to bin/
0s
Run .github/ci.sh check_docs
1m 1s
Run .github/ci.sh check_rpc_docs
0s
Partition test-lib tests
7s
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"
13s
Run .github/ci.sh sign ${NAME}.tar.gz
1s
Run actions/upload-artifact@v4
3s
Run actions/upload-artifact@v4
4s
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