343: let bors handle hitl r=jordens a=jordens



Co-authored-by: Robert Jördens <rj@quartiq.de>
This commit is contained in:
bors[bot] 2021-04-21 13:28:35 +00:00 committed by GitHub
commit 82787e2aab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 2 deletions

1
.github/bors.toml vendored
View File

@ -4,4 +4,5 @@ status = [
"style", "style",
"test (stable)", "test (stable)",
"compile (stable)", "compile (stable)",
"HITL Run Status"
] ]

View File

@ -2,8 +2,10 @@ name: HITL Trigger
on: on:
workflow_dispatch: workflow_dispatch:
pull_request: push:
branches: [ master ] branches:
- staging
- trying
jobs: jobs:
hitl-trigger: hitl-trigger: