summaryrefslogtreecommitdiff
path: root/.github/workflows/docs.yml
Commit message (Expand)AuthorAgeFilesLines
* Trigger docs update to the website build workflow on GitHub ActionDaniele Varrazzo2021-06-171-7/+7
* Build docs from the master branchDaniele Varrazzo2021-06-161-2/+2
* Update GitHub Actions as on branch main_2_8Daniele Varrazzo2021-05-221-8/+9
* ci: first stab at running CI as github actionsRiccardo Magliocchetti2021-05-221-0/+17