Skip to content
Test CBMC starter-kit by using coreHTTP

Bump version to 2.11 (#210) #215

Sign in to view logs

Bump version to 2.11 (#210)

Bump version to 2.11 (#210) #215

Triggered via push August 13, 2024 10:51
@tautschnigtautschnig
pushed aa7aba0
master
Status Success
Total duration 1m 10s
Artifacts –

makefile-test.yaml

on: push
Matrix: run-tests
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Python 3.8
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Python 3.10
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Python 3.9
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/