Skip to content

Conversation

mati865
Copy link
Collaborator

@mati865 mati865 commented Jan 11, 2025

@davidlattimore
Copy link
Owner

Neat. I didn't know about that project. Adding it to CI seems like a good idea too

@davidlattimore davidlattimore merged commit 7c006fb into davidlattimore:main Jan 11, 2025
9 checks passed
@mati865 mati865 deleted the push-qkpvpkowtzrx branch January 12, 2025 00:27
@mati865 mati865 mentioned this pull request Feb 19, 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.

2 participants