Skip to content

Conversation

@fingolfin
Copy link
Member

@fingolfin fingolfin commented Sep 9, 2025

This was/is a workaround for issues in RepnDecomp and HeLP and maybe other packages that went undetected so far.

Should not be merged until fixes for those issues are in releases of those packages:

This was/is a workaround for issues in RepnDecomp and HeLP
and maybe other packages that went undetected so far.
@wilfwilson
Copy link
Contributor

I've made an issue asking the developers/maintainers of RepnDecomp to kindly make a release 🙂

Copy link
Contributor

@wilfwilson wilfwilson left a comment

Choose a reason for hiding this comment

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

I don't think we actually have to wait for HeLP to get fixed; the issue with HeLP only appeared when we introduced this hack, I believe.

Of course, the issue with HeLP still exists, but I don't think it will affect our CI in gap-actions/run-pkg-tests#45 if this PR is merged.

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