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 run-name: Performing Typst compilation
on: on:
pull_request: pull_request:
types:
- opened
- synchronize
branches: branches:
- main - main
push:
branches-ignore:
- main
jobs: jobs:
run-ci-linux: run-ci-linux:
runs-on: ubuntu-latest runs-on: ubuntu-latest
@ -15,8 +14,7 @@ jobs:
# push with commit containing "Run-Checks" # push with commit containing "Run-Checks"
if: > if: >
(contains(github.event.head_commit.message, 'Run-Checks') && (contains(github.event.head_commit.message, 'Run-Checks') &&
github.event_name == 'push') || github.event_name == 'push')
github.event_name == 'pull_request'
steps: steps:
- name: Check out repository code - name: Check out repository code
uses: actions/checkout@v3 uses: actions/checkout@v3