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

chore: update the CI to compile and deploy Antora docs #1140

Merged
merged 8 commits into from
Nov 26, 2024
Merged

chore: update the CI to compile and deploy Antora docs #1140

merged 8 commits into from
Nov 26, 2024

Commits on Nov 26, 2024

  1. chore: add documentation job

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    8922ee2 View commit details
    Browse the repository at this point in the history

  2. chore: address comments

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    bc10219 View commit details
    Browse the repository at this point in the history

  3. chore: address comments

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    50a12cb View commit details
    Browse the repository at this point in the history

  4. chore: clean script

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    64d2989 View commit details
    Browse the repository at this point in the history

  5. chore: address comments

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    4a34b94 View commit details
    Browse the repository at this point in the history

  6. chore: formating

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    77e7573 View commit details
    Browse the repository at this point in the history

  7. chore: address comments

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    171a497 View commit details
    Browse the repository at this point in the history

  8. chore: remove docs build from solver CI

    @zepfred
    zepfred committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    641bb77 View commit details
    Browse the repository at this point in the history