Closed striezel closed 1 year ago
Updates the actions/checkout action used in the GitHub Actions workflows to its newest major version.
actions/checkout
Changes in actions/checkout:
v3.1.0 Use @actions/core saveState and getState Add github-server-url input v3.0.2 Add input set-safe-directory v3.0.1 Fixed an issue where checkout failed to run in container jobs due to the new git setting safe.directory Bumped various npm package versions v3.0.0 Update to node 16
saveState
getState
github-server-url
set-safe-directory
safe.directory
Still using v2 of actions/checkout will generate some warning like in this run: https://github.com/mvdnes/spin-rs/actions/runs/3280115232
Node.js 12 actions are deprecated. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/. Please update the following actions to use Node.js 16: actions/checkout
The PR will get rid of those warnings, because v3 uses Node.js 16.
Since only the MIRI job failed, I suspect that this is an instance of #134 and has the same cause, i. e. it is not related to the update of actions/checkout in this PR.
Updates the
actions/checkout
action used in the GitHub Actions workflows to its newest major version.Changes in actions/checkout:
Still using v2 of
actions/checkout
will generate some warning like in this run: https://github.com/mvdnes/spin-rs/actions/runs/3280115232The PR will get rid of those warnings, because v3 uses Node.js 16.