Skip to content

Drop ABI input#15

Merged
fingolfin merged 1 commit intomainfrom
mh/ABI
Mar 12, 2026
Merged

Drop ABI input#15
fingolfin merged 1 commit intomainfrom
mh/ABI

Conversation

@fingolfin
Copy link
Member

I guess this is breaking and needs a version increase...
and hence an explanation in README... and then we might as well switch to requiring setup-gap@v3, and also rename the CONFIGFLAGS input ...

So marking this as draft for now.

@fingolfin fingolfin mentioned this pull request Nov 25, 2025
@fingolfin fingolfin marked this pull request as ready for review March 11, 2026 11:47
@fingolfin fingolfin requested a review from stertooy March 11, 2026 11:47
@fingolfin fingolfin merged commit c262973 into main Mar 12, 2026
21 checks passed
@fingolfin fingolfin deleted the mh/ABI branch March 12, 2026 15:49
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