77eb5cad0f
All checks were successful
lockfiles / every Cargo.lock is current (pull_request) Successful in 38s
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 4s
no-vanity-metrics / WAI public text names no comparison (pull_request) Successful in 4s
no-vanity-metrics / WAI public text names no company or product (pull_request) Successful in 4s
no-vanity-metrics / No new orphan source files (pull_request) Successful in 6s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 2m53s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 1m26s
standards workspaces build + test / aac-rs (pull_request) Successful in 2m45s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 56s
standards workspaces build + test / map-rs (pull_request) Successful in 58s
standards workspaces build + test / mesh-rs (pull_request) Successful in 56s
tests in CI / every test file is run by a job or listed with its reason (pull_request) Successful in 5s
WAI section references / cited sections exist (pull_request) Successful in 25s
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 4s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 48s
standards workspaces build + test / openpay (pull_request) Successful in 3m2s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 4m40s
spec citations resolve / Code cites no section its SPEC lacks (pull_request) Successful in 4s
standards workspaces build + test / arl-rs (pull_request) Successful in 1m9s
standards workspaces build + test / eoc-rs (pull_request) Successful in 2m7s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m44s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m10s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m11s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m37s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m29s
standards workspaces build + test / sense-rs (pull_request) Successful in 1m9s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 3m47s
lockfiles, tests-in-ci, workflow-hygiene, no-vanity-metrics and wai-section-refs read files and run scripts, so the CPU architecture does not matter to them. They ran on the one x86_64 runner, which has every Rust workspace's tests queued on it (90 jobs waiting when this was measured); they move to linux-arm64. Co-Authored-By: Claude Opus 5.5 <[email protected]>
62 lines
2.5 KiB
YAML
62 lines
2.5 KiB
YAML
name: WAI section references
|
|
|
|
# Every section that SPEC.md, an extension or SECURITY.md cites in a WAI text exists:
|
|
# a link followed by §N, a link whose text holds §N, or an extension's name (or
|
|
# SPEC) in prose followed by §N, including references that break across lines.
|
|
# A citation of a section that was never written — as transparency §6's pointer
|
|
# to "jwp-receipts §7" was, before that section existed — fails the job. Research
|
|
# notes are dated records and are not read. The check is
|
|
# scripts/check-wai-section-refs.py; it needs Python and nothing else.
|
|
|
|
# One run per branch at a time. A push supersedes the run before it.
|
|
#
|
|
# There is one `macos` runner and it is the dev Mac, so every macOS job in this
|
|
# repo queues on it. With no concurrency group, a session pushing four versions
|
|
# of a branch queued four complete sets of runs and every one of them had to
|
|
# drain: on 2026-10-05 a PR's 21 contexts settled none in 70 minutes behind a
|
|
# backlog of 25 runs, and the queue grew faster than it cleared. Only the newest
|
|
# commit's verdict is wanted, so the older runs are cancelled.
|
|
#
|
|
# Verified on this forge (Forgejo 16.0.5) in `ci-test` before being added here:
|
|
# the key parses, and a newer push moves an older run to `cancelled` even while
|
|
# it is still queued, which is the case that matters.
|
|
#
|
|
# `cancel-in-progress: true` also applies to `main`. That is deliberate and
|
|
# safe here: main advances by merge commits whose tree contains the commits
|
|
# before them, so the newer run covers the older one's changes.
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
paths:
|
|
- 'wai/extensions/**'
|
|
- 'wai/SPEC.md'
|
|
- 'wai/SECURITY.md'
|
|
- 'scripts/check-wai-section-refs.py'
|
|
- '.github/workflows/wai-section-refs.yml'
|
|
pull_request:
|
|
paths:
|
|
- 'wai/extensions/**'
|
|
- 'wai/SPEC.md'
|
|
- 'wai/SECURITY.md'
|
|
- 'scripts/check-wai-section-refs.py'
|
|
- '.github/workflows/wai-section-refs.yml'
|
|
|
|
# Runs on `linux-arm64`, not `linux`: these jobs read files and run scripts, so the CPU
|
|
# architecture does not matter to them, and the one `linux` (x86_64) runner is the
|
|
# fleet's bottleneck, with every Rust workspace's tests queued on it.
|
|
jobs:
|
|
section-refs:
|
|
name: cited sections exist
|
|
runs-on: linux-arm64
|
|
steps:
|
|
- uses: actions/checkout@v5
|
|
- uses: actions/setup-python@v5
|
|
with:
|
|
python-version: '3.11'
|
|
- name: Every cited section exists
|
|
shell: bash
|
|
run: python scripts/check-wai-section-refs.py
|