summaryrefslogtreecommitdiff
path: root/.github/workflows/documentation.yml
AgeCommit message (Expand)Author
2025-05-10[fix] documentation should run on push/prIvan Gabaldon
2025-05-08[mod] CI move build of online docs to dedicated workflow documentation.yml (#...Ivan Gabaldon