Skip to content
User Run Tests

User Run Tests - $GITHUB_REF }} #2

Sign in to view logs

User Run Tests - $GITHUB_REF }}

User Run Tests - $GITHUB_REF }} #2

Manually triggered August 1, 2023 22:38
@F-WRunTimeF-WRunTime
⁠ afca544
master
Status Cancelled
Total duration 2m 44s
Artifacts –

user-run-test.yml

on: workflow_dispatch
Code Quality Checks
0s
Code Quality Checks
Unit Tests
0s
Unit Tests
Profiling
0s
Profiling
Build and Test KEVM concrete execution
0s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
2m 37s
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
2m 35s
Build and Test KEVM Foundry proofs
Build and Test KEVM Foundry proofs (booster)
0s
Build and Test KEVM Foundry proofs (booster)
Build Ubuntu Jammy DockerHub Image
0s
Build Ubuntu Jammy DockerHub Image
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build and Test KEVM Foundry proofs
The operation was canceled.
Build and Test KEVM Foundry proofs
Process completed with exit code 1.
Build and Test KEVM haskell proofs
Canceling since a higher priority waiting request for 'User Run Tests-refs/heads/master' exists
Build and Test KEVM haskell proofs
The operation was canceled.