Skip to content

Conversation

@fingolfin
Copy link
Member

No description provided.

@fingolfin fingolfin changed the title Require setup-gap@v3 to simplify some code Require setup-gap@v3 to simplify some code Sep 4, 2025
- 4.13
- 4.12
- 4.11
- 4.10
Copy link
Member Author

Choose a reason for hiding this comment

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

ah, so this is interpreted as a float and thus changed to 4.1

Copy link
Contributor

Choose a reason for hiding this comment

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

Sadly, yes. I don't think there's any way to avoid this other than quoting the inputs.

Maybe another thing to add to setup-gap's readme?

Copy link
Member Author

Choose a reason for hiding this comment

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

Yes that should be in the README

@fingolfin fingolfin requested a review from stertooy September 4, 2025 15:58
Copy link
Contributor

@stertooy stertooy left a comment

Choose a reason for hiding this comment

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

Looks good to me.

Tests are failing because Example requires GAP 4.11 or later, though. For now we could just test 4.11 or later. I think ideally we should move to using ActionTestGAPDocPackage (after making it compatible with earlier GAP versions?), but that's not urgent and certainly shouldn't hold this PR back.

@wilfwilson
Copy link
Contributor

wilfwilson commented Sep 4, 2025

Yeah, the Example package thing is my fault (gap-packages/example#49). Perhaps revert that if it was mistaken.

@wilfwilson
Copy link
Contributor

wilfwilson commented Sep 4, 2025

@fingolfin Does this undo #22, i.e. io and profiling no longer get built?

@fingolfin
Copy link
Member Author

@wilfwilson no this should not affect io and profiling being built, I also just verified this in the logs. Why?

@wilfwilson
Copy link
Contributor

@fingolfin Never mind, I must have just been confused, maybe I was looking at the wrong tab or something.

@fingolfin
Copy link
Member Author

See gap-packages/example#50

@wilfwilson wilfwilson merged commit cbea0c1 into main Sep 4, 2025
11 of 12 checks passed
@wilfwilson wilfwilson deleted the mh/require_setup-gap_v3 branch September 4, 2025 22:24
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.

4 participants