Skip to content
Run Tests

Update dependency: deps/pyk_release #1278

Sign in to view logs

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #1278

Triggered via pull request January 26, 2024 15:14
@rv-jenkinsrv-jenkins
synchronize #569
_update-deps/runtimeverification/pyk
Status Failure
Total duration 4m 8s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
1m 10s
Code Quality Checks
Unit Tests
52s
Unit Tests
Integration Tests
2m 32s
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 and 3 warnings
Integration Tests
Process completed with exit code 1.
Integration Tests
Process completed with exit code 1.
Code Quality Checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Unit Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Integration Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.