Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
3.5.0
-
None
Description
Tell CI not to cancel runs from 2 or more PRs made from the same head ref (saw fix elsewhere, copy it just in case). Bump older tools or names to newer tools or names (JDK to Java, SBT to sbt, ubuntu-20.04 to ubuntu-22.04, windows-2019 to windows-2022).