Similarly to https://github.com/tock/tock/pull/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.
Similarly to https://github.com/tock/tock/pull/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.04for 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.