Skip to content
Run Tests

Update dependency: deps/pyk_release #796

Sign in to view logs

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #796

Triggered via pull request October 19, 2023 16:13
@rv-jenkinsrv-jenkins
synchronize #513
_update-deps/runtimeverification/pyk
Status Cancelled
Total duration 2m 34s
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
1m 45s
Code Quality Checks
Unit Tests
29s
Unit Tests
Integration Tests
0s
Integration Tests
Parser Tests
0s
Parser Tests
Prover Tests
0s
Prover Tests
Conformance Tests
0s
Conformance Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Integration Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/513/merge' exists
Unit Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/513/merge' exists
Unit Tests
The operation was canceled.