Skip to content
Run Tests

Update dependency: deps/k_release #1216

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #1216

Triggered via pull request January 16, 2024 12:47
@rv-jenkinsrv-jenkins
synchronize #561
_update-deps/runtimeverification/k
Status Failure
Total duration 9m 21s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
1m 4s
Code Quality Checks
Unit Tests
1m 6s
Unit Tests
Integration Tests
5m 6s
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

2 errors
Integration Tests
Process completed with exit code 1.
Integration Tests
Process completed with exit code 1.