This PR bumps GitHub workflow actions to their latest versions, thus avoiding deprecation warnings as shown e.g. here.