Run Tests

Update dependency: deps/pyk_release #769

Triggered via pull request October 13, 2023 18:44

rv-jenkins

synchronize #512

Status Cancelled

Total duration 3m 30s

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

4 errors

Canceling since a higher priority waiting request for 'Run Tests-refs/pull/512/merge' exists

The operation was canceled.

Process completed with exit code 1.

not a git repository (or any of the parent directories): .git