merge upstream #6
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 workflow fails in PRs with changes to the jupyterlab/staging directory | |
| # Won't start unless there is a modification in the staging directory | |
| name: 'Reject changes to staging' | |
| on: | |
| pull_request: | |
| paths: | |
| - 'jupyterlab/staging/**' | |
| jobs: | |
| staging-check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repo | |
| uses: actions/checkout@v4 | |
| - name: Get modified files in the staging directory | |
| id: modified-files-in-staging | |
| uses: tj-actions/changed-files@v36.0.11 | |
| with: | |
| # only checks for modified files in this directory | |
| files: jupyterlab/staging | |
| # ignores modifications to these files | |
| files_ignore: | | |
| jupyterlab/staging/yarn.js | |
| jupyterlab/staging/.yarnrc | |
| - name: Fail if files in staging are modified | |
| if: steps.modified-files-in-staging.outputs.any_changed == 'true' | |
| run: exit 1 |