Disable PR events from triggering CI

jatcwang · jatcwang · commit ba88d21df008 · 2025-11-02T18:02: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
@@ -62,8 +62,9 @@ ThisBuild / githubWorkflowBuild := {
     case other => other
   }
 }
+//fixme
 // Disable running CI for Pull Requests (a normal push already triggers CI)
-ThisBuild / githubWorkflowPREventTypes := Seq.empty
+ThisBuild / githubWorkflowPREventTypes := Seq(PREventType.Locked)
 ThisBuild / githubWorkflowBuildPostamble ++= Seq(
   WorkflowStep.Sbt(
     commands = List("checkGitNoUncommittedChanges"),

Original file line number	Diff line number	Diff line change
`@@ -62,8 +62,9 @@ ThisBuild / githubWorkflowBuild := {`
`62`	`62`	`case other => other`
`63`	`63`	`}`
`64`	`64`	`}`
	`65`	`+//fixme`
`65`	`66`	`// Disable running CI for Pull Requests (a normal push already triggers CI)`
`66`		`-ThisBuild / githubWorkflowPREventTypes := Seq.empty`
	`67`	`+ThisBuild / githubWorkflowPREventTypes := Seq(PREventType.Locked)`
`67`	`68`	`ThisBuild / githubWorkflowBuildPostamble ++= Seq(`
`68`	`69`	`WorkflowStep.Sbt(`
`69`	`70`	`commands = List("checkGitNoUncommittedChanges"),`