Skip to content

Conversation

@jtru
Copy link

@jtru jtru commented Jun 9, 2023

This is #63 all over once more... I'm just trying to see if this gets the CI hooks to run (and, hopefully, succeed) again.

I'm sorry for any inconveniences caused.

@jtru
Copy link
Author

jtru commented Jun 9, 2023

Welp, apparently, it doesn't. I don't know what to do next and will just freeze this effort until you decide to get back to me, @pali.

@pali
Copy link
Owner

pali commented Jul 22, 2023

Closing as this is duplicate of #63. I will take care about CI issues later (it is not blocker for merging; I can merge without CI too).

@pali pali closed this Jul 22, 2023
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