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 4 deletions

View File

@ -2,11 +2,12 @@ name: Build'n check
run-name: Performing Typst compilation
on:
pull_request:
types:
- opened
- synchronize
branches:
- main
push:
branches-ignore:
- main
jobs:
run-ci-linux:
runs-on: ubuntu-latest
@ -14,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