diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8cc37af4f..ac081f286 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,7 @@ name: CI -on: [pull_request, push] +#on: [pull_request, push] +on: [push] # Cancel a job if there's a new on on the same branch started. # Based on https://stackoverflow.com/questions/58895283/stop-already-running-workflow-job-in-github-actions/67223051#67223051