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

Fix Sphinx GitHub Action #614

Open
wants to merge 4 commits into
base: main
Choose a base branch
from

Commits on Feb 2, 2024

  1. github: Update GitHub Actions in Sphinx workflow

    Roman Inflianskas committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    bcfefbd View commit details
    Browse the repository at this point in the history
  2. github: Commit Sphinx documentation on changes only

    Previously, `git commit ...` failed while trying to commit no changes.
    To prevent this, check changes first.
    Roman Inflianskas committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    fe0f281 View commit details
    Browse the repository at this point in the history
  3. github: update Sphinx workflow to fix permission issue

    Roman Inflianskas committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    de16b47 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. github: update dependencies in Sphinx workflow

    Roman Inflianskas committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    e0aee34 View commit details
    Browse the repository at this point in the history