Update dependency: deps/k_release #9287
test-pr.yml
on: pull_request
Code Quality Checks
1m 52s
Version Bump
6s
Unit Tests
2m 0s
Profiling
2m 18s
Build and Test KEVM concrete execution
15m 16s
Matrix: Nix
Matrix: Build and Test KEVM proofs