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.

Sign up for GitHub

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

Jump to bottom

Add a ci check for the generated docs #1677

Merged
merged 2 commits into from
Aug 14, 2024
Merged

Add a ci check for the generated docs #1677

merged 2 commits into from
Aug 14, 2024

Commits on Aug 13, 2024

  1. Add a ci check for the generated docs 

    We had this check when ci was still run on travis.  The commit
f1bbd00 indicates that such a check is
currently needed.
    @lucc
    lucc committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    8e12fb0 View commit details
    Browse the repository at this point in the history

  2. Fake install alot in ci to check generated docs

    @lucc
    lucc committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    eeb6a87 View commit details
    Browse the repository at this point in the history