Disable PR events from triggering CI

jatcwang · jatcwang · commit 9ff9f109b877 · 2025-11-02T18:04:08.000Z
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,7 +10,7 @@ name: Continuous Integration
 on:
   pull_request:
     branches: ['**', '!update/**', '!pr/**']
-    types: []
+    types: [locked]
   push:
     branches: ['**', '!update/**', '!pr/**']
     tags: [v*]
diff --git a/build.sbt b/build.sbt
@@ -63,7 +63,9 @@ ThisBuild / githubWorkflowBuild := {
   }
 }
 // Disable running CI for Pull Requests (a normal push already triggers CI)
-ThisBuild / githubWorkflowPREventTypes := Seq.empty
+// We set an uncommon status instead of empty because passing an empty list seems to make
+// GHA use the default trigger event types..
+ThisBuild / githubWorkflowPREventTypes := Seq(PREventType.Locked)
 ThisBuild / githubWorkflowBuildPostamble ++= Seq(
   WorkflowStep.Sbt(
     commands = List("checkGitNoUncommittedChanges"),

Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,9 @@ ThisBuild / githubWorkflowBuild := {`
`63`	`63`	`}`
`64`	`64`	`}`
`65`	`65`	`// Disable running CI for Pull Requests (a normal push already triggers CI)`
`66`		`-ThisBuild / githubWorkflowPREventTypes := Seq.empty`
	`66`	`+// We set an uncommon status instead of empty because passing an empty list seems to make`
	`67`	`+// GHA use the default trigger event types..`
	`68`	`+ThisBuild / githubWorkflowPREventTypes := Seq(PREventType.Locked)`
`67`	`69`	`ThisBuild / githubWorkflowBuildPostamble ++= Seq(`
`68`	`70`	`WorkflowStep.Sbt(`
`69`	`71`	`commands = List("checkGitNoUncommittedChanges"),`