aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (follow)
Commit message (Expand)AuthorAge
* workflows/build: fix artifact nameEgor Tensin2021-04-03
* add `make clean`Egor Tensin2021-04-03
* workflows/build: upload PDF to GitHub PagesEgor Tensin2021-04-03
* add a GitHub workflowEgor Tensin2021-02-26