ci/gitea-release-ci #91

Closed
servostar wants to merge 10 commits from ci/gitea-release-ci into main
1 changed files with 1 additions and 5 deletions
Showing only changes of commit cc4d217547 - Show all commits

View File

@ -2,9 +2,6 @@ name: Build'n check
run-name: Performing Typst compilation
on:
push:
pull_request:
branches:
- main
jobs:
run-ci-linux:
runs-on: ubuntu-latest
@ -12,8 +9,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