Run ci on bors branches

jbgi · jbgi · commit e96e47438433 · 2023-02-24T13:48:04.000+01:00
diff --git a/nix/tullia.nix b/nix/tullia.nix
@@ -58,7 +58,7 @@ rec {
 
       #lib.merge
       #ios: [
-        { #lib.io.github_push, github  #default_branch: true },
+        { #lib.io.github_push, github, { #default_branch: true, #branch: "staging|trying" } },
         { #lib.io.github_pr,   github, #target_default: false },
       ]
     '';

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@ rec {`
`58`	`58`
`59`	`59`	`#lib.merge`
`60`	`60`	`#ios: [`
`61`		`- { #lib.io.github_push, github #default_branch: true },`
	`61`	`+ { #lib.io.github_push, github, { #default_branch: true, #branch: "staging\|trying" } },`
`62`	`62`	`{ #lib.io.github_pr, github, #target_default: false },`
`63`	`63`	`]`
`64`	`64`	`'';`