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

Setup documentation #1

Merged
merged 7 commits into from
Jun 16, 2024
Merged

Setup documentation #1

merged 7 commits into from
Jun 16, 2024

Commits on Jun 16, 2024

  1. Add overall README

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    e67da98 View commit details
    Browse the repository at this point in the history

  2. Update doc make.jl

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    aba3975 View commit details
    Browse the repository at this point in the history

  3. update ignores

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f751611 View commit details
    Browse the repository at this point in the history

  4. update doc project.toml

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4f5464c View commit details
    Browse the repository at this point in the history

  5. workflow for deploying docs

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4fa51d0 View commit details
    Browse the repository at this point in the history

  6. add missing extension

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    bb7b7b7 View commit details
    Browse the repository at this point in the history

  7. enable manual trigger

    @Tom-Lemmens
    Tom-Lemmens committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    88a6a02 View commit details
    Browse the repository at this point in the history