Skip to content
Tests

Partial handling of aborted proofs #178

Sign in to view logs

Partial handling of aborted proofs

Partial handling of aborted proofs #178

Triggered via pull request October 18, 2024 15:58
@pcarrottpcarrott
opened #56
errors
Status Success
Total duration 4m 43s
Artifacts –

test.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build (5.2.0, 8.18.0)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3.5.2, actions/setup-python@v4.6.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (5.2.0, 8.20.0)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3.5.2, actions/setup-python@v4.6.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (5.2.0, 8.19.2)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3.5.2, actions/setup-python@v4.6.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build (5.2.0, 8.17.1)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3.5.2, actions/setup-python@v4.6.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/