Skip to content

Merge branch 'main' of github.com:DS4SD/docling-core into robustify-p… #2380

Merge branch 'main' of github.com:DS4SD/docling-core into robustify-p…

Merge branch 'main' of github.com:DS4SD/docling-core into robustify-p… #2380

Workflow file for this run

name: "Run CI"
on:
pull_request:
types: [opened, reopened, synchronize]
push:
branches:
- "**"
- "!gh-pages"
jobs:
code-checks:
if: ${{ github.event_name == 'push' || (github.event.pull_request.head.repo.full_name != 'docling-project/docling-core' && github.event.pull_request.head.repo.full_name != 'docling-project/docling-core') }}
uses: ./.github/workflows/checks.yml
secrets:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}