Skip to content

ci: auto-deploy docs to GitHub Pages on push#188

Merged
gabrielspadon merged 1 commit into
masterfrom
docs/gh-pages-auto-deploy
Jul 8, 2026
Merged

ci: auto-deploy docs to GitHub Pages on push#188
gabrielspadon merged 1 commit into
masterfrom
docs/gh-pages-auto-deploy

Conversation

@gabrielspadon

Copy link
Copy Markdown
Collaborator

Pull Request

Summary

Describe what this pull request does and why it is needed.

Changes

  • List the main changes introduced by this pull request.

Testing

Describe how the changes were tested (unit tests, integration tests, manual verification).

Checklist

  • I have read CONTRIBUTING.md and followed the quality gates described there.
  • Rust changes pass cargo fmt --check, cargo clippy, and cargo test in the affected crates.
  • Python changes pass pytest ./aisdb/tests/.
  • All SQL statements are parameterized.
  • Documentation was updated where relevant.

Copilot AI review requested due to automatic review settings July 8, 2026 22:25

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR changes the existing “API Doc Generation” GitHub Actions workflow from a manual-only run to an automatic run on pushes to the master branch (with path filters), enabling continuous GitHub Pages documentation deployment.

Changes:

  • Add push trigger for master with path filters for aisdb/**, docs/**, and the workflow file itself.
  • Keep workflow_dispatch to allow manual runs alongside the new automatic behavior.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

on: workflow_dispatch
on:
push:
branches: [master]
Comment on lines +6 to +9
paths:
- 'aisdb/**'
- 'docs/**'
- '.github/workflows/API_doc_manual.yml'
Comment on lines +3 to +4
on:
push:
@gabrielspadon gabrielspadon merged commit 0cb7c93 into master Jul 8, 2026
21 checks passed
@gabrielspadon gabrielspadon deleted the docs/gh-pages-auto-deploy branch July 8, 2026 22:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants