OK, let's wait for CI to run its course

Since by design, github only runs the workflow of the main branch of the repo (and not of the PR), this doesn't work here. However, I've tested it in my private repo and there the workflow is green now: https://github.com/tobiasdiez/sage/actions/runs/4540608136/jobs/8001729743.

@vbraun

This is urgent.

Maybe it'd make sense to have an exception allowing workflow fixes like this one to be pushed to develop?

There are right now two critical PRs that are necessary for checks to pass: this one and #35418. The second one can be merged to a PR so checks are fixed, but this one cannot, as explained in #35356 (comment).

It's quite unfortunate when checks are not reliable, since it leads us to learn to ignore failures. Right now the last PR with checks passing is #35352, so that's a lot of PRs without any chance at passing checks.

Some ideas for the future:

• maybe releases could go throught a PR before being pushed to devel so there is confirmation that all checks pass.
• PRs changing workflows need a special approval/testing since its changes are not tested by the normal CI.
• an exception could be made for a small PR to be pushed to devel without waiting for a release if it is necessary to get checks to pass.

I would argue that both this one and #35418 should be pushed to devel right now. This one is clear as it only touches workflows. The other one is debatable, but the alternative is every PR merging #35418 and if one doesn't know or forgets checks will fail.

@vbraun