Skip to content

Conversation

@bash
Copy link
Member

@bash bash commented Jan 30, 2025

Follow-up to #821

@bash bash requested a review from FreeApophis January 30, 2025 10:51
@bash bash enabled auto-merge January 30, 2025 10:52
@bash bash force-pushed the remove-to-theory-data branch from 9ffadfe to 9e10555 Compare January 30, 2025 10:53
@bash bash merged commit 2d8e977 into main Jan 30, 2025
9 checks passed
@bash bash deleted the remove-to-theory-data branch January 30, 2025 15:08
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