Skip to content

Conversation

@mkopinsky
Copy link
Collaborator

Includes the fix from #80 (thanks @Xon !) as well as the CI changes demonstrating that it was broken before and is now fixed.

(Not that I don't trust the PR - it's a one-liner and clearly correct - it's just nice to have the CI stuff in place anyway.)

@mkopinsky mkopinsky merged commit 6851e13 into master Nov 20, 2024
12 checks passed
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