Compare commits
No commits in common. "5cefd788040f731b42d056aab6a2659c4aa9ecce" and "81772d771888569acbffcccab53a27ae782c70f4" have entirely different histories.
5cefd78804
...
81772d7718
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue