Merge branch 'master' into rj/prep-v0.5.0

master
Robert Jördens 2021-04-21 15:34:09 +02:00 committed by GitHub
commit 5017d2f345
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",
"test (stable)",
"compile (stable)",
"HITL Run Status"
]

View File

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