aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (follow)
Commit message (Expand)AuthorAge
* workflows/build: only deploy on pushes to masterEgor Tensin2022-10-22
* workflows/build: upgrade actionsEgor Tensin2022-10-16
* workflows/build: fix remote portEgor Tensin2022-10-16
* workflows/build: rsync PDF to serverEgor Tensin2022-05-20
* workflows/build: use make for docker-compose commandsEgor Tensin2022-04-28
* workflows/build: use ubuntu-latestEgor Tensin2021-06-15
* workflows/build: tweak step namesEgor Tensin2021-05-04
* workflows/build: fix action usageEgor Tensin2021-04-10
* 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