Compare commits

..

No commits in common. "5cefd788040f731b42d056aab6a2659c4aa9ecce" and "81772d771888569acbffcccab53a27ae782c70f4" have entirely different histories.

1 changed files with 4 additions and 6 deletions

View File

@ -2,12 +2,11 @@ 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
@ -15,8 +14,7 @@ jobs:
# push with commit containing "Run-Checks"
if: >
(contains(github.event.head_commit.message, 'Run-Checks') &&
github.event_name == 'push') ||
github.event_name == 'pull_request'
github.event_name == 'push')
steps:
- name: Check out repository code
uses: actions/checkout@v3