Skip to content

Update dependency: deps/k_release #2501

Update dependency: deps/k_release

Update dependency: deps/k_release #2501

Triggered via pull request September 20, 2024 20:44
Status Failure
Total duration 10m 52s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
1m 19s
Code Quality Checks
Version Bump
8s
Version Bump
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 6 warnings
Nix (ARM64)
Process completed with exit code 1.
Nix (normal)
Process completed with exit code 1.
Conformance Tests
Process completed with exit code 1.
Version Bump
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Code Quality Checks
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, Gr1N/setup-poetry@v8. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Nix (ARM64)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Nix (normal)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Conformance Tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Prover Tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/