Skip to content

ci: pin EigenScript to the v0.33.0 tag instead of cloning main - #1

Merged
InauguralPhysicist merged 1 commit into
mainfrom
pin-eigs-0.33
Jul 25, 2026
Merged

ci: pin EigenScript to the v0.33.0 tag instead of cloning main#1
InauguralPhysicist merged 1 commit into
mainfrom
pin-eigs-0.33

Conversation

@InauguralPhysicist

Copy link
Copy Markdown
Contributor

Both jobs cloned EigenScript main unpinned, so CI was a moving target: an upstream main regression turns this repo red with no change here, and a green run says nothing about which runtime version the editor works against. It also made this repo invisible to hq's pin-freshness metric, which detects a pin or scores nothing.

No-op in what gets tested — EigenScript main is ae9715c, which is the v0.33.0 tag, so CI pins the exact commit it was already building.

Verified locally against v0.33.0 first: tests/test_smoke.sh passes (buffer core replays byte-exact across 5 tapes; private helpers stay out of the import surface).

Release notes: https://github.com/InauguralSystems/EigenScript/releases/tag/v0.33.0

🤖 Generated with Claude Code

Both jobs cloned EigenScript main unpinned, so CI was a moving target: an
upstream main regression turned this repo red with no change here, and a green
run said nothing about which runtime version the editor works against. It also
made this repo invisible to hq's pin-freshness metric, which detects a pin or
scores nothing.

No-op in what gets tested — EigenScript main is ae9715c, which IS the v0.33.0
tag, so CI pins the exact commit it was already building. Verified locally
against v0.33.0 first: tests/test_smoke.sh passes (buffer core replays
byte-exact across 5 tapes; private helpers stay out of the import surface).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@InauguralPhysicist
InauguralPhysicist merged commit ac110b6 into main Jul 25, 2026
2 checks passed
@InauguralPhysicist
InauguralPhysicist deleted the pin-eigs-0.33 branch July 25, 2026 04:54
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