Change CI concurrency policy to not queue on main (#8530)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 1 Apr 2022 20:26:52 +0000 (22:26 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 20:26:52 +0000 (13:26 -0700)
commitb1878c681842ac0169457adbdc6750e59ae7e35b
tree9cdd4ce78a0161875b8b6a5c5e6a2057c52682b2
parent3c18371323bafb8f06c36de39aad100772ec6729
Change CI concurrency policy to not queue on main (#8530)

Previously, we would only allow one job per branch/PR and only cancel old jobs on PRs.
This PR changes this policy to allow multiple jobs at once on main.
The way this is done basically follows https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-using-a-fallback-value.
.github/workflows/ci.yml