crux-llvm #2397
Annotations
13 warnings
Test crucible-llvm
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
Test crucible
The import of ‘Data.String’ is redundant
|
Save cabal store cache
Cache save failed.
|
Haddock
The import of ‘Data.String’ is redundant
|
Haddock
The import of ‘Data.String’ is redundant
|
Haddock
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
Haddock
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
Haddock
Defined but not used: ‘getSameCrucibleType’
|
Haddock
Defined but not used: ‘getMapSameCrucibleType’
|
Run .github/ci.sh build exe:crucible
The import of ‘Data.String’ is redundant
|
Run .github/ci.sh build exe:crucible
The qualified import of ‘Data.BitVector.Sized’ is redundant
|
Run .github/ci.sh build exe:crucible
Defined but not used: ‘getSameCrucibleType’
|
Run .github/ci.sh build exe:crucible
Defined but not used: ‘getMapSameCrucibleType’
|
Set up job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/checkout@v4
7s
7s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run haskell-actions/setup@v2
2m 10s
2m 10s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post-GHC installation fixups on Windows
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install Nix
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Restore cabal store cache
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run .github/ci.sh install_system_deps
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Setup Environment Vars
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Package's Cabal/GHC compatibility
1m 9s
1m 9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run .github/ci.sh configure
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Generate source distributions
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run .github/ci.sh build exe:crucible
8m 13s
8m 13s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Haddock
8m 51s
8m 51s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crucible
3m 24s
3m 24s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crucible-cli
42s
42s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crucible-symio
15s
15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crucible-llvm
2m 10s
2m 10s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crucible-llvm-syntax
5s
5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crucible-llvm-cli
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test crux-llvm
5m 36s
5m 36s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test uc-crux-llvm (Linux)
1m 14s
1m 14s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Create binary artifact
7s
7s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Sign binary artifact
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/upload-artifact@v4
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Save cabal store cache
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/checkout@v4
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading