Skip to content

Conversation

amotl
Copy link
Member

@amotl amotl commented Dec 13, 2024

What the title says.

@amotl amotl marked this pull request as ready for review December 13, 2024 17:54
@amotl amotl merged commit 11a391a into main Dec 13, 2024
18 checks passed
@amotl amotl deleted the ci-python37 branch December 13, 2024 17:58
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.

1 participant