Skip to content

Conversation

MisterDA
Copy link

Hi!
I'd like to experiment a bit with the project, so before anything I've cleaned up some stuff: updated Dune and the dependencies, reformated the code, removed duplicated files and auto-generated files, and fixed compilation warnings.

@MisterDA MisterDA marked this pull request as draft December 24, 2021 11:31
@MisterDA MisterDA force-pushed the updates branch 3 times, most recently from dabb493 to a922f6d Compare December 24, 2021 12:52
@MisterDA MisterDA marked this pull request as ready for review January 8, 2022 13:19
@Leonidas-from-XIV
Copy link

@MisterDA ctypes.0.20.1 was released, so the pin-depends can be fortunately removed now!

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