It looks like one of the PRs enabled stricter linter rules, while another one introduced code that violated this new rule.
The merge queue feature of github would automatically make sure that such a situation cannot happen. I'm not sure whats the easiest solution to implement this using the custom release scripts, but could you please check that the 6/7 default workflows are green before pushing your branch onto develop @vbraun?
Currently the linter workflow is broken on the develop branch: https://github.com/sagemath/sage/actions/runs/4584153146
It looks like one of the PRs enabled stricter linter rules, while another one introduced code that violated this new rule.
The merge queue feature of github would automatically make sure that such a situation cannot happen. I'm not sure whats the easiest solution to implement this using the custom release scripts, but could you please check that the 6/7 default workflows are green before pushing your branch onto develop @vbraun?