Skip to content

fix: support pkg-add installs and roll up CI#126

Merged
shinaoka merged 3 commits intomainfrom
fix/pkg-add-install-ci-rollup
Mar 19, 2026
Merged

fix: support pkg-add installs and roll up CI#126
shinaoka merged 3 commits intomainfrom
fix/pkg-add-install-ci-rollup

Conversation

@shinaoka
Copy link
Copy Markdown
Member

Summary

  • write generated C API bindings to deps/C_API.jl so Pkg.add(...) installs do not need to modify read-only source files
  • load generated bindings from deps/C_API.jl at runtime while keeping src/C_API.jl as the source-tree fallback
  • add a dedicated Pkg.add install smoke workflow and a CI Rollup workflow with stable check names for branch protection

Test Plan

  • julia --project=. -e "using Pkg; Pkg.build()"
  • julia --project=. -e "using Pkg; Pkg.test()" (657/657 pass)
  • temp copy with read-only src/C_API.jl: julia --project=. -e "using Pkg; Pkg.build(); using SparseIR"
  • ruby -e 'require \"yaml\"; %w[.github/workflows/CI.yml .github/workflows/CI_with_latest_rust_backend.yml .github/workflows/PkgAdd.yml .github/workflows/CI_rollup.yml].each { |f| YAML.load_file(f) }'

@shinaoka shinaoka enabled auto-merge March 19, 2026 20:52
@shinaoka shinaoka merged commit 9ba00db into main Mar 19, 2026
15 checks passed
@shinaoka shinaoka deleted the fix/pkg-add-install-ci-rollup branch March 19, 2026 21:28
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