mirrors/docling
1
0
Fork 0
mirror of https://github.com/DS4SD/docling.git synced 2025-07-27 04:24:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

cleanup debugging

Browse Source 
Signed-off-by: Michele Dolfi <97102151+dolfim-ibm@users.noreply.github.com>
This commit is contained in:
Michele Dolfi 2024-10-18 11:36:21 +02:00 committed by GitHub
parent 20d27021cf
commit 34d95335d5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
.github/workflows/ci.yml vendored
View File

@ -14,31 +14,11 @@ env:
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 2c
run: echo "${{ github.event.pull_request.head.repo.full_name != 'ds4sd/docling' && github.event.pull_request.head.repo.full_name != 'DS4SD/docling' }}"
to-skip:
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') }}
runs-on: ubuntu-latest
steps:
- run: echo "I was here... event_name=${{ github.event_name }}"
# 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: false
# uses: ./.github/workflows/docs.yml
# with:
# deploy: false
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