Skip to content

Conversation

jorisdral
Copy link
Collaborator

No description provided.

@jorisdral jorisdral self-assigned this Aug 6, 2025
@jorisdral jorisdral force-pushed the jdral/bloomfilter-blocked-0.1.0.0 branch 3 times, most recently from 477d44a to c5a4d94 Compare August 6, 2025 10:19
Due to the machinations of `cabal haddock-project`, caching has to be done
differently when we build the dev haddocks compared to when we build and test
the project. It seems simpler to put documentation jobs in their own workflow
and update the caching approach there, though that does mean there is some
duplication between the documentation workflow and the build-and-test workflow.
@jorisdral jorisdral force-pushed the jdral/bloomfilter-blocked-0.1.0.0 branch from c5a4d94 to da68e15 Compare August 6, 2025 10:59
@jorisdral jorisdral merged commit 078c383 into main Aug 6, 2025
30 checks passed
@jorisdral jorisdral deleted the jdral/bloomfilter-blocked-0.1.0.0 branch August 6, 2025 11:20
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