Inject ccopts
directly into kevm_kompile
and fix some tests
#7253
Triggered via pull request
November 15, 2023 16:18
Status
Success
Total duration
1h 33m 38s
Artifacts
–
test-pr.yml
on: pull_request
Code Quality Checks
1m 58s
Version Bump
17s
Unit Tests
3m 58s
Profiling
3m 56s
Build and Test KEVM concrete execution
39m 58s
Matrix: Nix
Matrix: Build and Test KEVM proofs