Test PR

Update dependency: deps/pyk_release #7270

Triggered via pull request November 16, 2023 18:12

ehildenb

synchronize #2175

Status Cancelled

Total duration 1m 56s

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

Matrix: Nix

Matrix: Build and Test KEVM proofs

3 errors

Canceling since a higher priority waiting request for 'Test PR-refs/pull/2175/merge' exists

Canceling since a higher priority waiting request for 'Test PR-refs/pull/2175/merge' exists

The operation was canceled.