Closed elliottt closed 1 year ago
Fix CI by bumping the ubuntu version to 22.04. Also fix the double-triggering behavior for a push and a pull request, so that we now only get one build started when pushing to a PR.
22.04
Fix CI by bumping the ubuntu version to
22.04
. Also fix the double-triggering behavior for a push and a pull request, so that we now only get one build started when pushing to a PR.