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 extra usage for modules in documentation #173

Merged
merged 3 commits into from
Jan 28, 2024
Merged

add extra usage for modules in documentation #173

merged 3 commits into from
Jan 28, 2024

Commits on Jan 28, 2024

  1. use the new extra usage for modules

    @amtoine
    amtoine committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    e604a05 View commit details
    Browse the repository at this point in the history

  2. generate the documentation

    @amtoine
    amtoine committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    093252d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'nightly' into extra-usage-in-doc 

    this will bring the fixes to the nightly CI into the PR.
    @amtoine
    amtoine committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    3132830 View commit details
    Browse the repository at this point in the history