You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
The text was updated successfully, but these errors were encountered:
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?
The text was updated successfully, but these errors were encountered: