Merge branch 'develop' into feat/rename-bibliography-title
Build'n check / run-ci-linux (push) Has been skipped
Details
Build'n check / run-ci-linux (push) Has been skipped
Details
This commit is contained in:
commit
5cefd78804
|
@ -2,11 +2,12 @@ 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
|
||||||
|
@ -14,7 +15,8 @@ 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
|
||||||
|
|
Loading…
Reference in New Issue