Skip to content

fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate#175

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/abi-ffi-gate-julia-pin
Jun 27, 2026
Merged

fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate#175
hyperpolymath merged 1 commit into
mainfrom
claude/abi-ffi-gate-julia-pin

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Follow-up to #174. That PR's Install Julia step pointed $GITHUB_PATH at /tmp/julia-1.11.5-linux-x86_64/bin, but the official Julia tarball extracts to julia-1.11.5/. The path never existed, so the ABI ↔ FFI structural conformance gate silently ran on the runner's pre-installed Julia and the 1.11.5 pin was a no-op — green today, but wasteful (a ~150 MB download that's never used) and not reproducible (it would break if the runner image ever drops Julia).

Changes

  • .github/workflows/abi-ffi-gate.yml
    • $GITHUB_PATH/tmp/julia-1.11.5/bin (the actual extracted directory), so the pinned Julia is the one on PATH.
    • julia --version echoed in the gate step, so the CI log shows the pin is in effect (and any future regression is visible).

RSR Quality Checklist

Required

  • Tests pass — gate behaviour unchanged (verified against the same tree under julia 1.11.5: OK — 24 ABI functions exported, 8 result codes match)
  • Code is formatted — YAML validated locally
  • Linter is clean
  • No banned language patterns
  • No unsafe blocks — n/a
  • No banned functions
  • SPDX header unchanged
  • No secrets, credentials, or .env files

As Applicable

  • ABI/FFI gate behaviour preserved (this only fixes which Julia runs it)
  • State files / CHANGELOG — no change

Testing

The extracted directory name was confirmed directly: tar -tzf julia-1.11.5-linux-x86_64.tar.gz | head -1julia-1.11.5/, and /tmp/julia-1.11.5/bin/julia is the real binary. The gate itself is unchanged from #174 and still reports ABI-FFI GATE: OK (verisimiser) — 24 ABI functions exported, 8 result codes match.

Screenshots

n/a (workflow only)


🤖 Generated with Claude Code


Generated by Claude Code

#174's Julia install pointed $GITHUB_PATH at /tmp/julia-1.11.5-linux-x86_64/bin,
but the official tarball extracts to julia-1.11.5/. That path never existed, so the
gate silently ran on the runner's pre-installed Julia and the version pin was a no-op
— harmless today, but wasteful and not reproducible (it would break if the runner
image ever drops Julia).

Point $GITHUB_PATH at /tmp/julia-1.11.5/bin, and echo `julia --version` in the gate
step so the CI log shows the pinned 1.11.5 is actually on PATH.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01JdqVWGSSv36Ph8ZWvizGMp
@hyperpolymath hyperpolymath marked this pull request as ready for review June 27, 2026 22:20
@hyperpolymath hyperpolymath merged commit 77f6eb7 into main Jun 27, 2026
32 checks passed
@hyperpolymath hyperpolymath deleted the claude/abi-ffi-gate-julia-pin branch June 27, 2026 22:20
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.

2 participants