From 121bc133254abfc43cd1d026e43c1371a33dfc5d Mon Sep 17 00:00:00 2001 From: nemo Date: Tue, 1 Oct 2024 14:32:19 -0400 Subject: [PATCH] feat: only run CI on push, not push and PRs --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8e1e9a9c..3febf6cd 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