Skip to content

Add GitHub Action to run doctools.py on pull requests and commit data changes - #1070

Merged
ahouseholder merged 4 commits into
mainfrom
copilot/add-github-action-doctools
Mar 6, 2026
Merged

ahouseholder merged 4 commits into
mainfrom
copilot/add-github-action-doctools

Fix doctools workflow: handle fork PRs and replace [skip ci] with act…

691a6b1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar