Skip to content

Conversation

@wenkokke
Copy link
Collaborator

No description provided.

@wenkokke wenkokke force-pushed the wenkokke/build-haddock branch from 0ca8483 to bfeca9f Compare April 30, 2025 09:28
@wenkokke wenkokke changed the title ci: build documentation on macOS with GHC 9.8 doc: include package description on GitHub Pages Apr 30, 2025
@wenkokke wenkokke force-pushed the wenkokke/build-haddock branch 2 times, most recently from d8dff74 to cde9f95 Compare April 30, 2025 14:21
Copy link
Collaborator

@jorisdral jorisdral left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@wenkokke wenkokke force-pushed the wenkokke/build-haddock branch from cde9f95 to 958e7e1 Compare April 30, 2025 14:41
@wenkokke wenkokke force-pushed the wenkokke/build-haddock branch from 958e7e1 to 5029361 Compare April 30, 2025 14:45
@wenkokke wenkokke enabled auto-merge April 30, 2025 14:47
@wenkokke wenkokke added this pull request to the merge queue Apr 30, 2025
Merged via the queue into main with commit 5a63797 Apr 30, 2025
28 checks passed
@wenkokke wenkokke deleted the wenkokke/build-haddock branch April 30, 2025 16:34
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.

3 participants