Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update GitHub Actions #500

Merged
merged 1 commit into from
Aug 11, 2023
Merged

Update GitHub Actions #500

merged 1 commit into from
Aug 11, 2023

Conversation

jwnrt
Copy link
Contributor

@jwnrt jwnrt commented Aug 11, 2023

Similarly to tock/tock#3591, this PR updates the versions of dependencies used in GitHub Actions to avoid the removal of Node v12 on Monday.

Two of the workflows are fixed on ubuntu-20.04 for stability, although I think GitHub will also remove Node v12 from these runners too. There's no harm in updating them either way if they still work.

These versions of the Actions used Node v12 which will be removed from
GitHub's runners soon.
@jrvanwhy jrvanwhy added the upkeep Indicates a PR is upkeep as defined by the code review policy. label Aug 11, 2023
@jrvanwhy jrvanwhy added this pull request to the merge queue Aug 11, 2023
Merged via the queue into tock:master with commit 2a8d7bc Aug 11, 2023
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
upkeep Indicates a PR is upkeep as defined by the code review policy.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants