aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (follow)
Commit message (Collapse)AuthorAge
* workflows/build: upgrade actionsHEADmasterEgor Tensin2024-01-28
|
* workflows/build: deploy on manual runs alsoEgor Tensin2023-08-04
|
* workflows/build: disable obsolete Pages buildsEgor Tensin2023-01-24
|
* workflows/build: upgrade an actionEgor Tensin2023-01-01
|
* 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