User Run Tests - $GITHUB_REF }} #5
F-WRunTimeuser-run-test.yml
on: workflow_dispatch
Code Quality Checks
0s
Unit Tests
0s
Profiling
2m 49s
Build and Test KEVM concrete execution
0s
Build and Test KEVM haskell proofs
0s
Build and Test KEVM Foundry proofs
3m 20s
Build and Test KEVM Foundry proofs (booster)
0s
Build Ubuntu Jammy DockerHub Image
0s
Matrix: Nix
Annotations
1 error
|
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
|