Skip to content
Run Tests

Update dependency: deps/k_release #2781

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #2781

Triggered via pull request October 1, 2025 13:01
@rv-jenkinsrv-jenkins
opened #735
_update-deps/runtimeverification/k
Status Cancelled
Total duration 1m 21s
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
55s
Code Quality Checks
Version Bump
1m 14s
Version Bump
Conformance Tests
0s
Conformance Tests
Prover Tests
0s
Prover Tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Conformance Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/735/merge exists
Prover Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/735/merge exists
Nix (ARM64)
Canceling since a higher priority waiting request for Run Tests-refs/pull/735/merge exists
Nix (normal)
A task was canceled.
Nix (normal)
Canceling since a higher priority waiting request for Run Tests-refs/pull/735/merge exists
Run Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/735/merge exists