Skip to content

chore: move heavy verification to GitHub - #14

Merged
kaikisegfault merged 1 commit into
mainfrom
chore/github-first-verification
Jul 24, 2026
Merged

chore: move heavy verification to GitHub#14
kaikisegfault merged 1 commit into
mainfrom
chore/github-first-verification

Conversation

@kaikisegfault

Copy link
Copy Markdown
Owner

Outcome

  • make GitHub-hosted runners the default for builds, compiler/sanitizer matrices, fuzzing, simulations, packaging, and other heavy gates
  • keep local work lightweight and targeted; forbid detached local repository processes and persistent check watchers
  • cancel superseded workflow runs and cap each remote matrix job at 20 minutes
  • require process/run audits and artifact cleanup at every completed phase
  • add an idempotent narrow tools/clean-local.sh command for known reproducible build, toolchain, and Python cache paths
  • persist the policy in AGENTS.md, both project execution skills, and engineering handoff guides

Lightweight local validation

  • official skill validator: proceed-project valid
  • official skill validator: verify-project valid
  • cleanup command: shell syntax, executable mode, and repeated empty-state execution passed
  • Python compileall, all shell syntax, JSON/TOML/YAML parsing, internal Markdown links, identity, and diff checks passed
  • process and generated-directory audit: no repository workers/watchers or build/cache residue

Heavy validation

The GitHub-hosted four-preset matrix on this exact commit is the completion gate.

Make GitHub-hosted runners the default for resource-heavy gates, prevent superseded workflow duplication, and require bounded monitoring plus phase-boundary process and artifact cleanup. Add a narrow idempotent local cleanup command and persist the policy in project instructions and skills.
@kaikisegfault
kaikisegfault merged commit df23f78 into main Jul 24, 2026
4 checks passed
@kaikisegfault
kaikisegfault deleted the chore/github-first-verification branch July 24, 2026 20:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant