Integration branch: eleven open PRs built and verified together on FF152 #4
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: Lint | |
| # Static checks only -- no browser build, so these can gate every pull request. | |
| # The build workflow runs on tags and takes ~40 minutes; nothing was checking | |
| # pull requests before this. | |
| on: | |
| pull_request: | |
| push: | |
| branches: [main] | |
| workflow_dispatch: | |
| jobs: | |
| input-dispatch: | |
| name: Synthesized input goes through one chokepoint | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.12" | |
| - run: python3 scripts/check-input-dispatch.py |