Skip to content

Conversation

@fchapoton
Copy link
Contributor

fixing a few more, activating them

@fchapoton fchapoton force-pushed the more-cython-lint-checks branch from f8fbe5a to 9fb3f92 Compare August 31, 2024 16:13
@fchapoton
Copy link
Contributor Author

undone now

@oscarbenjamin
Copy link
Collaborator

Looks good. Thanks!

@oscarbenjamin oscarbenjamin merged commit 973c299 into flintlib:master Aug 31, 2024
@fchapoton fchapoton deleted the more-cython-lint-checks branch August 31, 2024 17:11
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