Bump versions of GitHub actions

[nilsvu]

To avoid deprecations.

Proposed changes

Upgrade instructions

Code review checklist

• The code is documented and the documentation renders correctly. Run
  make doc to generate the documentation locally into BUILD_DIR/docs/html.
  Then open index.html.
• The code follows the stylistic and code quality guidelines listed in the
  code review guide.
• The PR lists upgrade instructions and is labeled bugfix or
  new feature if appropriate.

Further comments

[nilsdeppe]

🎉 Awesome, thank you very much!

Edit: CI failure is our random Burgers Step.yaml failure.