aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (unfollow)
Commit message (Collapse)Author
2024-01-28workflows/build: upgrade actionsHEADmasterEgor Tensin
2023-08-04workflows/build: deploy on manual runs alsoEgor Tensin
2023-01-24workflows/build: disable obsolete Pages buildsEgor Tensin
2023-01-01workflows/build: upgrade an actionEgor Tensin
2022-10-22workflows/build: only deploy on pushes to masterEgor Tensin
2022-10-16workflows/build: upgrade actionsEgor Tensin
2022-10-16workflows/build: fix remote portEgor Tensin
2022-05-20workflows/build: rsync PDF to serverEgor Tensin
2022-04-28workflows/build: use make for docker-compose commandsEgor Tensin
2021-06-15workflows/build: use ubuntu-latestEgor Tensin
2021-05-04workflows/build: tweak step namesEgor Tensin
2021-04-10workflows/build: fix action usageEgor Tensin
2021-04-07workflows/build: error out if no files to uploadEgor Tensin
2021-04-03workflows/build: tweak step namesEgor Tensin
2021-04-03workflows/build: fix artifact nameEgor Tensin
2021-04-03add `make clean`Egor Tensin
2021-04-03workflows/build: upload PDF to GitHub PagesEgor Tensin
2021-02-26add a GitHub workflowEgor Tensin