-
Notifications
You must be signed in to change notification settings - Fork 159
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'origin/main' into hm/forest-tool-api-ge…
…nerate-test-snapshot
- Loading branch information
Showing
34 changed files
with
21,262 additions
and
14,291 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,99 @@ | ||
| # This workflow is triggered by changes on the documentation. Normally, if only documentation is modified, the required Forest checks are not triggered which makes it impossible to merge the PR. See <https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/collaborating-on-repositories-with-code-quality-features/troubleshooting-required-status-checks#handling-skipped-but-required-checks>. The workaround is to provide no-op jobs that are triggered by the same events as the docs-check job. This way, the "required checks" are passing and the PR can be merged. | ||
| # We check that changes affect only the documentation and that no other changes are present. If this is the case, we trigger the no-op jobs. | ||
|
|
||
| name: Docs Required Override | ||
| concurrency: | ||
| group: '${{ github.workflow }}-${{ github.ref }}' | ||
| cancel-in-progress: '${{ github.ref != ''refs/heads/main'' }}' | ||
|
|
||
| on: | ||
| workflow_dispatch: | ||
| merge_group: | ||
| pull_request: | ||
| branches: | ||
| - main | ||
| paths: | ||
| - '**.md' | ||
| - 'docs/**' | ||
| - '.github/workflows/docs-*.yml' | ||
| push: | ||
| branches: | ||
| - main | ||
| paths: | ||
| - '**.md' | ||
| - 'docs/**' | ||
| - '.github/workflows/docs-*.yml' | ||
|
|
||
| jobs: | ||
| # We need this because merge groups dont support path filters | ||
| # https://github.com/community/community/discussions/45899 | ||
| changes-docs: | ||
| runs-on: ubuntu-latest | ||
| outputs: | ||
| changesFound: ${{ steps.filter.outputs.changesFound }} | ||
| steps: | ||
| - uses: actions/checkout@v4 | ||
| - uses: dorny/paths-filter@v3 | ||
| id: filter | ||
| with: | ||
| filters: | | ||
| changesFound: | ||
| - 'docs/**' | ||
| - '**.md' | ||
| - '.github/workflows/docs-*.yml' | ||
| changes-not-docs: | ||
| runs-on: ubuntu-latest | ||
| outputs: | ||
| otherChangesFound: ${{ steps.filter.outputs.otherChangesFound }} | ||
| steps: | ||
| - uses: actions/checkout@v4 | ||
| - uses: dorny/paths-filter@v3 | ||
| id: filter | ||
| with: | ||
| predicate-quantifier: every | ||
| filters: | | ||
| otherChangesFound: | ||
| - '**' | ||
| - '!docs/**' | ||
| - '!**.md' | ||
| - '!.github/workflows/docs-*.yml' | ||
| override_integration_tests: | ||
| name: Integration tests status | ||
| runs-on: ubuntu-latest | ||
| needs: | ||
| - changes-docs | ||
| - changes-not-docs | ||
| if: ${{ (needs.changes-docs.outputs.changesFound == 'true') && (needs.changes-not-docs.outputs.otherChangesFound == 'false') }} | ||
| steps: | ||
| - run: echo "No-op job to trigger the required checks." | ||
|
|
||
| override_unit_tests: | ||
| name: tests | ||
| runs-on: ubuntu-latest | ||
| needs: | ||
| - changes-docs | ||
| - changes-not-docs | ||
| if: ${{ (needs.changes-docs.outputs.changesFound == 'true') && (needs.changes-not-docs.outputs.otherChangesFound == 'false') }} | ||
| steps: | ||
| - run: echo "No-op job to trigger the required checks." | ||
|
|
||
| override_unit_tests_release: | ||
| name: tests-release | ||
| runs-on: ubuntu-latest | ||
| needs: | ||
| - changes-docs | ||
| - changes-not-docs | ||
| if: ${{ (needs.changes-docs.outputs.changesFound == 'true') && (needs.changes-not-docs.outputs.otherChangesFound == 'false') }} | ||
| steps: | ||
| - run: echo "No-op job to trigger the required checks." | ||
|
|
||
| override_docker_build: | ||
| name: Build images and push to GHCR | ||
| runs-on: ubuntu-latest | ||
| needs: | ||
| - changes-docs | ||
| - changes-not-docs | ||
| if: ${{ (needs.changes-docs.outputs.changesFound == 'true') && (needs.changes-not-docs.outputs.otherChangesFound == 'false') }} | ||
| steps: | ||
| - run: echo "No-op job to trigger the required checks." |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.