1010 schedule :
1111 - cron : ' 0 0 * * 0' # Weekly on Sunday
1212 workflow_dispatch :
13+ # Estate guardrail: cancel superseded runs so re-pushes don't pile up
14+ # queued runs across the estate. Safe here because this workflow only
15+ # performs read-only checks/lint/test/scan with no publish or mutation.
16+ concurrency :
17+ group : ${{ github.workflow }}-${{ github.ref }}
18+ cancel-in-progress : true
1319
1420permissions :
1521 contents : read
22+ # security-events: read lets the built-in GITHUB_TOKEN query this
23+ # repo's own Dependabot alerts via the Hypatia DependabotAlerts rule
24+ # (DA001-DA004). Without this, `scan_from_path` gets HTTP 403 and
25+ # the rule silently returns no findings.
26+ # See 007-lang/audits/audit-dependabot-automation-gap-2026-04-17.md.
27+ security-events : read
28+ # pull-requests: write lets the advisory "Comment on PR with findings"
29+ # step post its summary. Without it the built-in GITHUB_TOKEN gets
30+ # "Resource not accessible by integration" and (absent continue-on-error)
31+ # hard-fails the scan — exactly what the gate-decoupling design forbids.
32+ pull-requests : write
1633
1734jobs :
1835 scan :
@@ -21,12 +38,12 @@ jobs:
2138
2239 steps :
2340 - name : Checkout repository
24- uses : actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
41+ uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
2542 with :
2643 fetch-depth : 0 # Full history for better pattern analysis
2744
2845 - name : Setup Elixir for Hypatia scanner
29- uses : erlef/setup-beam@2f0cc07b4b9bea248ae098aba9e1a8a1de5ec24c # v1.18.2
46+ uses : erlef/setup-beam@fc68ffb90438ef2936bbb3251622353b3dcb2f93 # v1.18.2
3047 with :
3148 elixir-version : ' 1.19.4'
3249 otp-version : ' 28.3'
@@ -38,23 +55,27 @@ jobs:
3855 fi
3956
4057 - name : Build Hypatia scanner (if needed)
41- working-directory : ${{ env.HOME }}/hypatia
4258 run : |
43- if [ ! -f hypatia-v2 ]; then
44- echo "Building hypatia-v2 scanner..."
45- cd scanner
59+ cd "$HOME/ hypatia"
60+ if [ ! -f hypatia ]; then
61+ echo "Building hypatia scanner..."
4662 mix deps.get
4763 mix escript.build
48- mv hypatia ../hypatia-v2
4964 fi
5065
5166 - name : Run Hypatia scan
5267 id : scan
68+ env :
69+ # Pass the built-in Actions token through to Hypatia so the
70+ # DependabotAlerts rule can query this repo's own alerts.
71+ # For cross-repo scanning (fleet-coordinator scan-supervised),
72+ # a PAT with `security_events` scope is required instead.
73+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
5374 run : |
5475 echo "Scanning repository: ${{ github.repository }}"
5576
56- # Run scanner
57- HYPATIA_FORMAT=json "$HOME/hypatia/hypatia-cli.sh" scan . > hypatia-findings.json
77+ # Run scanner (exits non-zero when findings exist — suppress to continue)
78+ HYPATIA_FORMAT=json "$HOME/hypatia/hypatia-cli.sh" scan . --exit-zero > hypatia-findings.json || true
5879
5980 # Count findings
6081 FINDING_COUNT=$(jq '. | length' hypatia-findings.json 2>/dev/null || echo 0)
7697 echo "- Medium: $MEDIUM" >> $GITHUB_STEP_SUMMARY
7798
7899 - name : Upload findings artifact
79- uses : actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
100+ uses : actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
80101 with :
81102 name : hypatia-findings
82103 path : hypatia-findings.json
@@ -195,7 +216,12 @@ jobs:
195216
196217 - name : Comment on PR with findings
197218 if : github.event_name == 'pull_request' && steps.scan.outputs.findings_count > 0
198- uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7
219+ # Advisory only — posting findings as a PR comment must never gate
220+ # the scan (hypatia#213 gate decoupling). Belt-and-braces alongside
221+ # the pull-requests: write permission above: a token/API hiccup or
222+ # a fork PR (read-only token) skips the comment, not the check.
223+ continue-on-error : true
224+ uses : actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v7
199225 with :
200226 script : |
201227 const fs = require('fs');
0 commit comments