Skip to content

disable JuliaC pipeline for now#561

Closed
KristofferC wants to merge 1 commit into
mainfrom
kc/disable_juliac
Closed

disable JuliaC pipeline for now#561
KristofferC wants to merge 1 commit into
mainfrom
kc/disable_juliac

Conversation

@KristofferC

Copy link
Copy Markdown
Contributor

@DilumAluthge DilumAluthge left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

SGTM, but maybe open an issue (on this repo) and assign Cody and Gabriel? So we remember to re-enable it?

@topolarity topolarity left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think I'd like to try to change my mind here (sorry)

There are some major serialization-facing changes incoming (e.g. JuliaLang/julia#62245 and also several follow-ons) that I don't think can wisely land without --trim coverage in CI. Give me 24 hours to try to sort out / merge JuliaLang/julia#61983 so that we can avoid having to do this.

Apologies for the thrash!

@KristofferC KristofferC closed this Jul 9, 2026
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.

3 participants