Skip to content

Prepare hackage release#1

Merged
christiaanb merged 8 commits intomainfrom
prepare_hackage_release
Dec 30, 2024
Merged

Prepare hackage release#1
christiaanb merged 8 commits intomainfrom
prepare_hackage_release

Conversation

@christiaanb
Copy link
Member

@christiaanb christiaanb commented Sep 8, 2024

Add CI and formatting.

Reflects the text in LICENSE file
@christiaanb christiaanb force-pushed the prepare_hackage_release branch from c5cc76b to 1dc700a Compare September 8, 2024 13:27
@christiaanb christiaanb force-pushed the prepare_hackage_release branch from 1dc700a to 8d6c1d8 Compare September 9, 2024 14:53
@christiaanb christiaanb marked this pull request as ready for review December 30, 2024 13:29
@christiaanb christiaanb merged commit e340c7f into main Dec 30, 2024
20 checks passed
@christiaanb christiaanb deleted the prepare_hackage_release branch December 30, 2024 13:43
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