Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CompatHelper: bump compat for Documenter to 1 for package docs #280

Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Mar 14, 2024

This pull request changes the compat entry for the Documenter package from ~0.26, 0.27 to ~0.26, 0.27, 1 for package docs.
This keeps the compat entries for earlier versions.

Fix #268.

Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.

@github-actions github-actions bot force-pushed the compathelper/new_version/2024-03-14-10-17-45-346-01530352663 branch from 68d05ef to 50f458b Compare March 14, 2024 10:17
@giordano giordano force-pushed the compathelper/new_version/2024-03-14-10-17-45-346-01530352663 branch from 50f458b to 0d29faf Compare May 16, 2024 11:22
@giordano giordano force-pushed the compathelper/new_version/2024-03-14-10-17-45-346-01530352663 branch from 0d29faf to 8726f2d Compare November 15, 2024 15:56
@giordano giordano added the documentation Improvements or additions to documentation label Nov 15, 2024
@giordano giordano force-pushed the compathelper/new_version/2024-03-14-10-17-45-346-01530352663 branch from 8726f2d to a3e4d41 Compare November 15, 2024 15:59
@giordano giordano changed the title CompatHelper: bump compat for Documenter to 1 for package docs, (keep existing compat) CompatHelper: bump compat for Documenter to 1 for package docs Nov 15, 2024
@giordano giordano merged commit 3bc946d into main Nov 15, 2024
1 check passed
@giordano giordano deleted the compathelper/new_version/2024-03-14-10-17-45-346-01530352663 branch November 15, 2024 16:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add missing docstrings to documentation
1 participant