Skip to content
Run Tests

Update dependency: deps/k_release #2782

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #2782

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

Annotations

5 errors
Prover Tests
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
Conformance Tests
Canceling since a higher priority waiting request for Run Tests-refs/pull/735/merge exists
Nix (normal)
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