Disable PR events from triggering CI

jatcwang · jatcwang · commit f1ac2eb62998 · 2025-11-02T17:58:27.000Z
diff --git a/build.sbt b/build.sbt
@@ -62,6 +62,7 @@ ThisBuild / githubWorkflowBuild := {
     case other => other
   }
 }
+//fixme
 // Disable running CI for Pull Requests (a normal push already triggers CI)
 ThisBuild / githubWorkflowPREventTypes := Seq.empty
 ThisBuild / githubWorkflowBuildPostamble ++= Seq(

Original file line number	Diff line number	Diff line change
`@@ -62,6 +62,7 @@ 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`	`67`	`ThisBuild / githubWorkflowPREventTypes := Seq.empty`
`67`	`68`	`ThisBuild / githubWorkflowBuildPostamble ++= Seq(`