Don't run ci on pr/** branches

Author: armanbilge

.github/workflows/ci.yml

@@ -9,9 +9,9 @@ name: Continuous Integration
 
 on:
   pull_request:
-    branches: ['**', '!update/**']
+    branches: ['**', '!update/**', '!pr/**']
   push:
-    branches: ['**', '!update/**']
+    branches: ['**', '!update/**', '!pr/**']
     tags: [v*]
 
 env:

ci/src/main/scala/org/typelevel/sbt/TypelevelCiPlugin.scala

@@ -50,7 +50,10 @@ object TypelevelCiPlugin extends AutoPlugin {
     tlCiScalafixCheck := false,
     tlCiMimaBinaryIssueCheck := true,
     tlCiDocCheck := true,
-    githubWorkflowTargetBranches += "!update/**", // ignore steward branches
+    githubWorkflowTargetBranches ++= Seq(
+      "!update/**", // ignore steward branches
+      "!pr/**" // escape-hatch to disable ci on a branch
+    ),
     githubWorkflowPublishTargetBranches := Seq(),
     githubWorkflowBuild := {