Skip to content
Test PR

Factor out kontrol module from kevm-pyk codebase #5247

Sign in to view logs

Factor out kontrol module from kevm-pyk codebase

Factor out kontrol module from kevm-pyk codebase #5247

Re-run triggered August 2, 2023 18:36
@F-WRunTimeF-WRunTime
#1985
separate-kontrol
Status Cancelled
Total duration 1m 56s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
10s
Version Bump
Code Quality Checks
53s
Code Quality Checks
Matrix: Nix
Unit Tests
2m 15s
Unit Tests
Profiling
2m 42s
Profiling
Build and Test KEVM concrete execution
31m 54s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
1m 12s
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
1m 46s
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
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Build and Test KEVM haskell proofs
Process completed with exit code 1.
Build and Test KEVM haskell proofs
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1985/merge' exists
Build and Test KEVM haskell proofs
Process completed with exit code 1.
Build Ubuntu Jammy DockerHub Image
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1985/merge' exists
Build and Test KEVM Foundry proofs (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1985/merge' exists
Build and Test KEVM Foundry proofs
The operation was canceled.
Build and Test KEVM Foundry proofs
Process completed with exit code 1.