mirror of
https://github.com/trailofbits/skills.git
synced 2026-09-14 14:28:48 +08:00
ca08fc8a91
* Commit plugin lockfiles so Dependabot can do something useful The uv ecosystem config added in #206 pointed at four directories that declare PEP 621 ranges and carry no lockfile. With nothing to pin, Dependabot's only available action is raising the lower bound of an already-open range — which changes nothing about what installs and only drops support for older versions. It opened five such PRs within a minute of #206 merging (#208-#212), all no-ops: the existing ranges already resolved to exactly the versions being proposed as new floors. The one directory that did have a lockfile, constant-time-analysis, produced no PR at all, because there was genuinely nothing to update. That is the whole diagnosis. Lockfiles committed for the other four. .gitignore ignored uv.lock globally, which is why they were missing; constant-time-analysis's was tracked only because it predates the rule. Now scoped to the root file (ephemeral — there is no root pyproject.toml) with plugin lockfiles explicitly allowed, matching the pattern already used for .mcp.json. Also fixes two bugs #206 introduced: - The version-increment check failed all five Dependabot PRs, and Dependabot can neither bump a plugin version nor label its own PR, so every future dependency PR would have been permanently red. Exempted by actor. - The 'no-version-bump' label was documented in AGENTS.md and wired into validate.yml but never created, so the escape hatch did not exist. Created. * Re-run CI with the no-version-bump label applied The version-increment check fired on this PR: adding uv.lock under plugins/<name>/ counts as touching those plugins. Correct behaviour — the lockfiles pin exactly what the existing ranges already resolve to, so nothing changes for anyone installing these plugins, which is what the label is for. First real use of the escape hatch created in this same PR. * Fix the three findings from this PR's review A local uv setting leaked into all four new lockfiles. /etc/uv/uv.toml on ToB machine images sets exclude-newer = "1 week", so every lock carried an [options] block with exclude-newer-span = "P1W" and pinned versions resolved a week stale — diverging from constant-time-analysis/uv.lock, which predates this PR and has no such block. Regenerated with UV_NO_CONFIG=1. That cooldown is the org's supply-chain posture and it belongs in dependabot.yml's 'cooldown: default-days: 7', where it already is; baking it into committed lockfiles was my environment leaking, not a decision. "EVERY directory here must carry a committed uv.lock" was enforced by a comment, which is precisely the anti-pattern AGENTS.md tells people to avoid. Now a validator check: it parses the uv ecosystem block out of dependabot.yml and asserts a uv.lock beside each listed directory. Scoped to that block rather than grepping for '- /plugins/...' so a future ecosystem's paths are not swept in, and it errors if the block exists but no directories parse out — otherwise the checker could inspect zero items and report clean, which is the exact failure it exists to prevent. Three self-test fixtures, and verified by deleting a real lockfile and confirming CI would go red. The Dependabot exemption keyed on github.actor, which on a synchronize event is whoever pushed. A human adding one commit to a Dependabot branch would re-arm the version check and turn the PR red — making the follow-up bump mandatory exactly where the comment says it is discretionary. Keyed on PR authorship now.
191 lines
7.9 KiB
YAML
191 lines
7.9 KiB
YAML
name: Validate
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
pull_request:
|
|
branches: [main]
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
validate:
|
|
name: Validate plugins and skills
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
|
|
with:
|
|
persist-credentials: false
|
|
# The version-increment check diffs plugin.json against the base branch.
|
|
fetch-depth: 0
|
|
|
|
# Runs first, deliberately: a checker that has stopped detecting its target
|
|
# would otherwise report a clean build forever. That has shipped here before.
|
|
- name: Self-test the validators
|
|
run: python3 .github/scripts/validate_plugin_metadata.py --self-test
|
|
|
|
- name: Validate SKILL.md frontmatter
|
|
run: |
|
|
echo "Checking SKILL.md frontmatter..."
|
|
python3 -c "
|
|
import os
|
|
import re
|
|
import sys
|
|
|
|
errors = []
|
|
skill_count = 0
|
|
|
|
for root, dirs, files in os.walk('plugins'):
|
|
for f in files:
|
|
if f == 'SKILL.md':
|
|
path = os.path.join(root, f)
|
|
skill_count += 1
|
|
with open(path) as fp:
|
|
content = fp.read()
|
|
|
|
# Check for frontmatter
|
|
if not content.startswith('---'):
|
|
errors.append(f'{path}: missing YAML frontmatter')
|
|
continue
|
|
|
|
# Extract frontmatter
|
|
match = re.match(r'^---\n(.*?)\n---', content, re.DOTALL)
|
|
if not match:
|
|
errors.append(f'{path}: malformed frontmatter')
|
|
continue
|
|
|
|
frontmatter = match.group(1)
|
|
|
|
# Check for required fields
|
|
if 'name:' not in frontmatter:
|
|
errors.append(f'{path}: missing \"name\" in frontmatter')
|
|
if 'description:' not in frontmatter:
|
|
errors.append(f'{path}: missing \"description\" in frontmatter')
|
|
|
|
if errors:
|
|
for e in errors:
|
|
print(f'ERROR: {e}', file=sys.stderr)
|
|
sys.exit(1)
|
|
|
|
# Finding no skills means the walk broke, not that every skill is valid.
|
|
if skill_count == 0:
|
|
print('ERROR: no SKILL.md files found — discovery is broken', file=sys.stderr)
|
|
sys.exit(1)
|
|
|
|
print(f'All {skill_count} SKILL.md files have valid frontmatter')
|
|
"
|
|
|
|
- name: Check for hardcoded paths
|
|
shell: bash
|
|
run: |
|
|
set -uo pipefail
|
|
echo "Checking for hardcoded user paths..."
|
|
# Shell, bats, yaml and toml were previously unscanned; test fixtures and
|
|
# install scripts are exactly where absolute paths tend to hide. The
|
|
# *-shim.bats exclusion covers gh-shim's /home/user/... fixtures.
|
|
INCLUDES=(--include='*.md' --include='*.py' --include='*.json'
|
|
--include='*.sh' --include='*.bats' --include='*.yml'
|
|
--include='*.toml')
|
|
|
|
# Prove the scan saw files before trusting a clean result. `if grep A |
|
|
# grep -v B` takes its status from the LAST command in the pipe, so a
|
|
# first-stage failure (renamed directory, a grep without -P) produced no
|
|
# output, exited 2, and printed "No hardcoded user paths found" while
|
|
# inspecting nothing — the same defect this PR exists to remove.
|
|
scanned=$(grep -rl '' plugins/ "${INCLUDES[@]}" | wc -l)
|
|
if [ "$scanned" -eq 0 ]; then
|
|
echo "ERROR: path scan matched no files at all — discovery is broken"
|
|
exit 1
|
|
fi
|
|
echo "Scanning $scanned file(s)"
|
|
|
|
hits=$(grep -rPn '(?<![a-zA-Z])(/home/[a-z]|/Users/[A-Z])' plugins/ \
|
|
"${INCLUDES[@]}" --exclude='*-shim.bats' || true)
|
|
rc=${PIPESTATUS[0]}
|
|
if [ "$rc" -gt 1 ]; then
|
|
echo "ERROR: grep failed with status $rc — the scan did not run"
|
|
exit 1
|
|
fi
|
|
hits=$(printf '%s\n' "$hits" | grep -v '/path/to' | grep -v '/home/vscode' || true)
|
|
if [ -n "$hits" ]; then
|
|
printf '%s\n' "$hits"
|
|
echo "ERROR: Found hardcoded user paths (see above)"
|
|
exit 1
|
|
fi
|
|
echo "No hardcoded user paths found"
|
|
|
|
- name: Check for personal emails
|
|
run: |
|
|
echo "Checking for personal emails..."
|
|
# The exclusion is anchored: an unanchored '.git' also drops any line
|
|
# containing "/github", which would mask a personal email beside a URL.
|
|
if grep -rn '@trailofbits\.com' . --include='*.json' --include='*.toml' \
|
|
--exclude-dir=.git \
|
|
| grep -v 'opensource@trailofbits\.com'; then
|
|
echo "ERROR: Found personal emails (should use opensource@trailofbits.com)"
|
|
exit 1
|
|
fi
|
|
echo "No personal emails found"
|
|
|
|
- name: Validate plugin metadata
|
|
# On a PR, --base-ref turns on the version-increment check: a substantive
|
|
# change to a plugin must raise its version, or installed clients never
|
|
# receive it. Skipped on push-to-main, where there is nothing to diff against.
|
|
env:
|
|
BASE_REF: ${{ github.event.pull_request.base.sha }}
|
|
# Dependabot cannot satisfy the version-increment check: it cannot bump a
|
|
# plugin's version and cannot label its own PR, so without this exemption
|
|
# every dependency PR is permanently red. A dependency change arguably
|
|
# *should* bump the plugin version — do that in a follow-up commit on the
|
|
# PR when it matters, rather than leaving the whole class blocked.
|
|
#
|
|
# Keyed on PR authorship, not `github.actor`. On a `synchronize` event
|
|
# `github.actor` is whoever pushed, so a human adding one commit to a
|
|
# Dependabot branch would re-arm the check and turn the PR red — making
|
|
# the follow-up bump mandatory exactly when the comment above says it is
|
|
# discretionary.
|
|
NO_BUMP: >-
|
|
${{ contains(github.event.pull_request.labels.*.name, 'no-version-bump')
|
|
|| github.event.pull_request.user.login == 'dependabot[bot]' }}
|
|
run: |
|
|
if [ -z "$BASE_REF" ]; then
|
|
python3 .github/scripts/validate_plugin_metadata.py
|
|
elif [ "$NO_BUMP" = "true" ]; then
|
|
python3 .github/scripts/validate_plugin_metadata.py \
|
|
--base-ref "$BASE_REF" --allow-no-bump
|
|
else
|
|
python3 .github/scripts/validate_plugin_metadata.py --base-ref "$BASE_REF"
|
|
fi
|
|
|
|
# Pinned rather than @latest: an unpinned install makes CI able to break with
|
|
# no commit, and zizmor flags it as adhoc-packages. Dependabot does not track
|
|
# these, so bump them by hand when a new CLI feature is needed.
|
|
- name: Install Claude Code CLI # zizmor: ignore[adhoc-packages]
|
|
env:
|
|
CLAUDE_CLI_VERSION: "2.1.220"
|
|
run: |
|
|
npm install --global --prefix "$RUNNER_TEMP/claude-cli" \
|
|
"@anthropic-ai/claude-code@${CLAUDE_CLI_VERSION}"
|
|
echo "$RUNNER_TEMP/claude-cli/bin" >> "$GITHUB_PATH"
|
|
"$RUNNER_TEMP/claude-cli/bin/claude" --version
|
|
|
|
- name: Check Claude loadability
|
|
run: python3 .github/scripts/check_claude_loadability.py
|
|
|
|
- name: Install Codex CLI # zizmor: ignore[adhoc-packages]
|
|
env:
|
|
CODEX_CLI_VERSION: "0.146.0"
|
|
run: |
|
|
npm install --global --prefix "$RUNNER_TEMP/codex-cli" \
|
|
"@openai/codex@${CODEX_CLI_VERSION}"
|
|
echo "$RUNNER_TEMP/codex-cli/bin" >> "$GITHUB_PATH"
|
|
"$RUNNER_TEMP/codex-cli/bin/codex" --version
|
|
|
|
- name: Check Codex loadability
|
|
run: python3 .github/scripts/check_codex_loadability.py
|