Lint

fix(juggler): make the input-dispatch deadlock structurally unreachable (#751, #752) #1

	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

Navigation Menu