ci: run on PR and push to non main branch #107

Closed
servostar wants to merge 3 commits from ci/run-ci-on-push into main
1 changed files with 6 additions and 1 deletions
Showing only changes of commit ab286793a8 - Show all commits

View File

@ -4,6 +4,10 @@ on:
pull_request:
branches:
- main
push:
branches-ignore:
- main
jobs:
run-ci-linux:
runs-on: ubuntu-latest
@ -11,7 +15,8 @@ jobs:
# push with commit containing "Run-Checks"
if: >
(contains(github.event.head_commit.message, 'Run-Checks') &&
github.event_name == 'push')
github.event_name == 'push') ||
github.event_name == 'pull_request'
steps:
- name: Check out repository code
uses: actions/checkout@v3