Closed gleich closed 4 years ago
Clean up some things with the CI. Having the CI run on a PR is redundant because it already runs on a push for the latest commit for that branch.
All committers have signed the CLA.
Clean up some things with the CI. Having the CI run on a PR is redundant because it already runs on a push for the latest commit for that branch.