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

Feature/ci with mike #1437

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

Conversation

zodwick
Copy link
Contributor

@zodwick zodwick commented Oct 7, 2024

This pull request introduces a new workflow for deploying documentation, updates versioning information, and makes minor adjustments to documentation and configuration files. The most important changes include the addition of a new GitHub Actions workflow for deploying documents, updating the VERSION file, and adding a new dependency to pyproject.toml.

New GitHub Actions Workflow:

  • .github/workflows/mike-deploy.yml: Added a new workflow for deploying documentation, inspired by the Arduino-Cli project. This workflow includes steps for determining if documentation should be published, installing Python and dependencies, generating reference pages, determining versioning parameters, and deploying the documentation.

Versioning:

  • VERSION: Added an initial versioning entry with the format 0.0|dev.

Configuration Updates:

  • pyproject.toml: Added mike to the list of documentation dependencies.

@dosubot dosubot bot added the size:M This PR changes 30-99 lines, ignoring generated files. label Oct 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size:M This PR changes 30-99 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant