aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (follow)
Commit message (Collapse)AuthorAge
* workflows/build: error out if no files to uploadEgor Tensin2021-04-07
|
* workflows/build: tweak step namesEgor Tensin2021-04-03
|
* 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