Add LabNote use-case guidance #182
Workflow file for this run
This file contains hidden or 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
| name: Registry validation | |
| on: | |
| push: | |
| pull_request: | |
| permissions: | |
| contents: read | |
| jobs: | |
| registry-validation: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.12" | |
| - run: python -m pip install -r requirements-dev.txt | |
| - run: python scripts/validate_repo.py --registry | |
| - run: python tests/test_validator_smoke.py | |
| - run: python scripts/generate_registry_views.py --check | |
| - run: python tests/test_generated_views.py | |
| - run: python tests/test_markdown_links.py | |
| - run: python tests/test_locale_invariants.py | |
| - run: python tests/test_locale_freshness_regressions.py | |
| - name: Check localized source freshness | |
| env: | |
| BEFORE: ${{ github.event.before }} | |
| DEFAULT_BRANCH: ${{ github.event.repository.default_branch }} | |
| run: | | |
| if [ "${{ github.event_name }}" = "pull_request" ]; then | |
| base="${{ github.event.pull_request.base.sha }}" | |
| elif [ "$BEFORE" = "0000000000000000000000000000000000000000" ]; then | |
| base="$(git merge-base "origin/$DEFAULT_BRANCH" "$GITHUB_SHA")" | |
| else | |
| base="$BEFORE" | |
| fi | |
| python tests/test_locale_freshness.py "$base" "$GITHUB_SHA" | |
| - run: python tests/test_bridge_config.py | |
| - run: python tests/test_tag_promotion.py | |
| - name: Enforce tag-promotion separation | |
| if: github.event_name == 'pull_request' | |
| run: python scripts/check_tag_promotion.py "${{ github.event.pull_request.base.sha }}" "${{ github.sha }}" | |
| - name: Detect tag-promotion separation violation on push | |
| if: github.event_name == 'push' | |
| env: | |
| BEFORE: ${{ github.event.before }} | |
| DEFAULT_BRANCH: ${{ github.event.repository.default_branch }} | |
| run: | | |
| if [ "$BEFORE" = "0000000000000000000000000000000000000000" ]; then | |
| base="$(git merge-base "origin/$DEFAULT_BRANCH" "$GITHUB_SHA")" | |
| else | |
| base="$BEFORE" | |
| fi | |
| python scripts/check_tag_promotion.py "$base" "$GITHUB_SHA" |