Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 14 additions & 12 deletions .github/workflows/gate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
# — too slow for per-PR gating; runs on every push to main +
# nightly schedule (in practice every merge, since direct
# pushes are blocked by branch protection).
# Lint jobs pinned to ubuntu-22.04 (short-lived, OS-independent
# Lint jobs pinned to ubuntu-24.04 (short-lived, OS-independent
# work). Windows legs deferred to peer-harness milestone.
# - Third-party actions SHA-pinned by full 40-char commit SHA;
# trailing `# vX.Y.Z` comments for humans.
Expand Down Expand Up @@ -266,7 +266,7 @@ jobs:
# elevation design (docs/research/threat-model-elevation.md).
name: lint (semgrep)
timeout-minutes: 10
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

# Toolchain via three-way-parity install.sh (GOVERNANCE §24): same
# semgrep version that dev laptops + devcontainers get, pinned in
Expand Down Expand Up @@ -307,7 +307,7 @@ jobs:
# See openspec/specs/static-analysis/profiles/shell.md.
name: lint (shellcheck)
timeout-minutes: 5
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand All @@ -317,9 +317,11 @@ jobs:
# Installs shellcheck via mise (pinned in .mise.toml). Single
# source of truth — the same version on dev laptops + CI
# runners. Prior step relied on shellcheck shipping pre-
# installed on ubuntu-22.04, which broke parity (dev machines
# may have a different version) and wouldn't survive newer
# runner images like ubuntu-slim that don't ship shellcheck.
# installed on ubuntu-22.04 (the older runner image), which
# broke parity (dev machines may have a different version)
# and wouldn't survive newer runner images like ubuntu-slim
# that don't ship shellcheck. Same parity concern applies on
# ubuntu-24.04 — install via mise regardless.
run: ./tools/setup/install.sh

- name: Run shellcheck
Expand Down Expand Up @@ -352,7 +354,7 @@ jobs:
# github-actions.md.
name: lint (actionlint)
timeout-minutes: 5
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand Down Expand Up @@ -395,7 +397,7 @@ jobs:
# layer.
name: lint (tick-history order)
timeout-minutes: 2
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand All @@ -419,7 +421,7 @@ jobs:
# merge-conflict resolution.
name: lint (no conflict markers)
timeout-minutes: 2
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand Down Expand Up @@ -447,7 +449,7 @@ jobs:
# backfilled all pre-existing violations to 0.
name: lint (archive header §33)
timeout-minutes: 2
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand All @@ -468,7 +470,7 @@ jobs:
# No untrusted input used in run: — only a fixed repo path.
name: lint (no empty dirs)
timeout-minutes: 3
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand All @@ -484,7 +486,7 @@ jobs:
# See openspec/specs/static-analysis/profiles/markdown.md.
name: lint (markdownlint)
timeout-minutes: 5
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04

steps:
- name: Checkout
Expand Down
5 changes: 3 additions & 2 deletions .github/workflows/resume-diff.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,8 @@
# the comment.
# - concurrency: workflow-scoped; cancel-in-progress for PR
# events.
# - Runner digest-pinned (ubuntu-22.04).
# - Runner pinned to ubuntu-24.04 (not -latest, so OS image
# changes are explicit and tracked).
# - Graceful no-change handling: if the diff has no claim-
# bearing lines, posts a clarifying message and passes.
# Does not fail the PR.
Expand All @@ -58,7 +59,7 @@ concurrency:
jobs:
resume-diff:
name: claim-level diff
runs-on: ubuntu-22.04
runs-on: ubuntu-24.04
timeout-minutes: 5
permissions:
contents: read
Expand Down
Loading