Skip to content

Add PRCI check to ensure docs are up-to-date#25

Merged
normanjoyner merged 2 commits intohalcyonproj:mainfrom
normanjoyner:docs-ci
Dec 30, 2025
Merged

Add PRCI check to ensure docs are up-to-date#25
normanjoyner merged 2 commits intohalcyonproj:mainfrom
normanjoyner:docs-ci

Conversation

@normanjoyner
Copy link
Copy Markdown
Member

  • Ensures docs are up-to-date by running make docs and ensuring there is no diff
  • Removes repetitive shell specification on label sync workflow

Fixes #24

@normanjoyner normanjoyner merged commit 3534d7e into halcyonproj:main Dec 30, 2025
3 of 4 checks passed
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.

Ensure docs are up-to-date as part of CI

1 participant