From ec2b0bff69a429bbd8c9cdcbe9c5d0693d79faf2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Thu, 29 Sep 2022 23:31:41 +0200
Subject: [PATCH] github workflows: also run on bors branch

---
 .github/workflows/pr.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 0913620bd..c47b2f94e 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -1,6 +1,10 @@
 name: "Test"
 on:
   pull_request:
+  # For bors
+  push:
+    branches:
+     - staging
 jobs:
   tests:
     runs-on: ubuntu-latest