Skip to content

Docs: fix misleading description of Build_doctests; release 1.0.12#91

Merged
ulidtko merged 1 commit into
masterfrom
fix/#90-docs
Nov 19, 2025
Merged

Docs: fix misleading description of Build_doctests; release 1.0.12#91
ulidtko merged 1 commit into
masterfrom
fix/#90-docs

Conversation

@ulidtko

@ulidtko ulidtko commented Nov 19, 2025

Copy link
Copy Markdown
Owner

Resolves #90.

@ulidtko ulidtko merged commit 8b7aad5 into master Nov 19, 2025
44 checks passed
@ulidtko ulidtko deleted the fix/#90-docs branch November 19, 2025 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

defaultMainWithDoctests always generates Build_doctests.hs regardless of testsuiteName

1 participant