[ci] Update GitHub Actions to last major release#4981
[ci] Update GitHub Actions to last major release#4981gruenich wants to merge 1 commit intorust-lang:masterfrom
Conversation
Fix deprecations warnings for Node20.js that will stop working in June.
|
Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two. |
| run: cargo install -f rustup-toolchain-install-master | ||
| # Create a token for the next step so it can create a PR that actually runs CI. | ||
| - uses: actions/create-github-app-token@v2 | ||
| - uses: actions/create-github-app-token@v3 |
There was a problem hiding this comment.
I think this is the only one that's actually necessary? checkout v5 doesn't seem to emit any deprecation warnings.
There was a problem hiding this comment.
Sure. The other upadtes do not hurt, do they?
There was a problem hiding this comment.
Uh so you just decided yourself that your answer is good enough and unilaterally marked the discussion as resolved?
There was a problem hiding this comment.
Apologies, that was too fast, indeed.
|
Thanks for the PR! This GHA version silliness is getting seriously tiring. |
3 participants
Fix deprecations warnings for Node20.js that will stop working in June.