aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (unfollow)
Commit message (Collapse)Author
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