Skip to content

crux-llvm

crux-llvm #2397

Annotations

13 warnings

crux-llvm - GHC v9.4.8 - ubuntu-22.04

succeeded Jan 18, 2025 in 34m 36s
Set up job
2s
Run actions/checkout@v4
7s
Run haskell-actions/setup@v2
2m 10s
Post-GHC installation fixups on Windows
0s
Install Nix
3s
Restore cabal store cache
3s
Run .github/ci.sh install_system_deps
4s
Setup Environment Vars
0s
Package's Cabal/GHC compatibility
1m 9s
Run .github/ci.sh configure
1s
Generate source distributions
0s
Run .github/ci.sh build exe:crucible
8m 13s
Haddock
8m 51s
Test crucible
3m 24s
Test crucible-cli
42s
Test crucible-symio
15s
Test crucible-llvm
2m 10s
Test crucible-llvm-syntax
5s
Test crucible-llvm-cli
4s
Test crux-llvm
5m 36s
Test uc-crux-llvm (Linux)
1m 14s
Create binary artifact
7s
Sign binary artifact
0s
Run actions/upload-artifact@v4
1s
Save cabal store cache
4s
Post Run actions/checkout@v4
0s
Complete job
0s