Repository navigation
ci: check the VPython catalogue against GlowScript's source - #2
Merged
Merged
Conversation
On pushes to main and pull requests that touch spec/vpython/: - fetch GlowScript at the pinned commit into the runner's temp directory (third-party, never committed) and refuse to run without it, since the citation checks cannot fail on a missing source; - run check_catalog.py (36 checks) and invariants.py; - regenerate members.csv and require the columns that are a pure function of GlowScript to match what is committed. Corpus counts need private student labs and the vcpp columns describe one vcpp commit, so those are not compared. Verified in a clean simulated runner, and negative-tested: a changed citation and a missing GlowScript checkout both fail the job. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MCihcaCjLJ6ys7FwvXHDpj
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
On pushes to main and pull requests that touch spec/vpython/:
Verified in a clean simulated runner, and negative-tested: a changed citation and a missing GlowScript checkout both fail the job.
Claude-Session: https://claude.ai/code/session_01MCihcaCjLJ6ys7FwvXHDpj