Skip to content

Update dependency: deps/k_release #850

Update dependency: deps/k_release

Update dependency: deps/k_release #850

Triggered via pull request October 31, 2023 17:21
Status Cancelled
Total duration 2m 35s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
1m 20s
Code Quality Checks
Unit Tests
50s
Unit Tests
Integration Tests
56s
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

5 errors
Unit Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/519/merge' exists
Unit Tests
The operation was canceled.
Integration Tests
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/519/merge' exists
Integration Tests
The operation was canceled.
Integration Tests
Process completed with exit code 1.