Test PR

Factor out cut-point and terminal rules #7029

Sign in to view logs

Re-run triggered November 2, 2023 19:18

ehildenb

#2152

factor-out-cut-rules

Status Success

Total duration 2h 36m 52s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-pr.yml

on: pull_request

Code Quality Checks

Build and Test KEVM concrete execution

Matrix: Nix

Matrix: Build and Test KEVM proofs