mirror of
https://github.com/DS4SD/docling.git
synced 2025-07-29 05:24:28 +00:00
40 lines
1.5 KiB
YAML
40 lines
1.5 KiB
YAML
name: "Run CI"
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened, reopened, synchronize]
|
|
push:
|
|
branches:
|
|
- "**"
|
|
- "!main"
|
|
- "!gh-pages"
|
|
|
|
env:
|
|
# disable keyring (https://github.com/actions/runner-images/issues/6185):
|
|
PYTHON_KEYRING_BACKEND: keyring.backends.null.Keyring
|
|
|
|
jobs:
|
|
debug:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: print 1
|
|
run: echo "${{ github.event_name }}"
|
|
- name: print 1a
|
|
run: echo "${{ github.event_name == 'push' }}"
|
|
- name: print 2
|
|
run: echo "${{ github.event.pull_request.head.repo.full_name }}"
|
|
- name: print 2a
|
|
run: echo "${{ github.event.pull_request.head.repo.full_name != 'DS4SD/docling' }}"
|
|
- name: print 2b
|
|
run: echo "${{ github.event.pull_request.head.repo.full_name != 'ds4sd/docling' }}"
|
|
- name: print 2a
|
|
run: echo "${{ github.event.pull_request.head.repo.full_name != 'ds4sd/docling' && github.event.pull_request.head.repo.full_name != 'DS4SD/docling' }}"
|
|
code-checks:
|
|
if: ${{ github.event_name == 'push' }} || (${{ github.event.pull_request.head.repo.full_name != 'DS4SD/docling' && github.event.pull_request.head.repo.full_name != 'ds4sd/docling' }})
|
|
uses: ./.github/workflows/checks.yml
|
|
build-docs:
|
|
if: ${{ github.event_name == 'push' }} || (${{ github.event.pull_request.head.repo.full_name != 'DS4SD/docling' && github.event.pull_request.head.repo.full_name != 'ds4sd/docling' }})
|
|
uses: ./.github/workflows/docs.yml
|
|
with:
|
|
deploy: false
|