Skip to content
macOS build and test S2n

fix(ci): update CBMC proofs' Makefile.common #7271

Sign in to view logs

fix(ci): update CBMC proofs' Makefile.common

fix(ci): update CBMC proofs' Makefile.common #7271

Triggered via pull request August 26, 2024 16:27
@lrstewartlrstewart
synchronize #4703
tautschnig:update-CBMC-Makefile.common
Status Success
Total duration 3m 37s
Artifacts –

gha_osx_tests.yml

on: pull_request
OSX
3m 26s
OSX
Fit to window
Zoom out
Zoom in

Annotations

1 warning
OSX
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/