Skip to content

Conversation

@pjaap
Copy link
Member

@pjaap pjaap commented Mar 10, 2025

See if this fixes the strange Python errors in the PR CIs.

@pjaap
Copy link
Member Author

pjaap commented Mar 10, 2025

Sigh. Still has this libpython error. We had this in #65 too and after merging, the "push" pipeline was fine. @jpthiele What is the difference to the "pull-request" pipeline?

@pjaap
Copy link
Member Author

pjaap commented Mar 10, 2025

The only difference I see is tags: ['*']. I don't know what this does tbh.

@pjaap pjaap marked this pull request as draft March 10, 2025 10:02
@pjaap pjaap closed this Mar 10, 2025
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