enable kompile -O3 #8618
test-pr.yml
on: pull_request
Code Quality Checks
0s
Version Bump
13s
Unit Tests
0s
Profiling
0s
Build and Test KEVM concrete execution
0s
Matrix: Nix
Matrix: Build and Test KEVM proofs
Annotations
2 errors
Code Quality Checks
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2363/merge' exists
|
Version Bump
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2363/merge' exists
|