Repository navigation
Parley: full-stack messaging sample, WebRTC and ECDH/HKDF in core #2102
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: JS port barrier-read lint | |
| # Enforce the surface-id render invariant: the JavaScript port's worker must | |
| # never read dimensions/pixels back off a canvas / 2D-context host-ref across | |
| # the worker<->host barrier. Such reads can return a degraded value and livelock | |
| # invokeJsoBridge's retry, wedging the worker (observed: the EDT parked on | |
| # getter.width@HTMLCanvasElement during a form transition). Dimensions/pixels are | |
| # kept Java-side; this lint fails the build on any regression. | |
| 'on': | |
| pull_request: | |
| paths: | |
| - 'Ports/JavaScriptPort/src/main/java/**/*.java' | |
| - 'scripts/lint/jsport-canvas-barrier-reads.py' | |
| - '.github/workflows/jsport-barrier-lint.yml' | |
| push: | |
| branches: | |
| - master | |
| paths: | |
| - 'Ports/JavaScriptPort/src/main/java/**/*.java' | |
| - 'scripts/lint/jsport-canvas-barrier-reads.py' | |
| - '.github/workflows/jsport-barrier-lint.yml' | |
| concurrency: | |
| # Only the latest revision needs validation. PR numbers keep forks isolated; | |
| # event names keep a manual/scheduled run from cancelling a push or PR run. | |
| group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| barrier-lint: | |
| name: JS port canvas barrier-read lint | |
| runs-on: ubuntu-24.04 | |
| steps: | |
| - uses: actions/checkout@v6 | |
| - name: Run barrier-read linter | |
| run: python3 scripts/lint/jsport-canvas-barrier-reads.py |