aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows (unfollow)
Commit message (Expand)Author
2023-02-08shorter platform namesEgor Tensin
2023-02-08Makefile: remove docker/build recipeEgor Tensin
2023-02-07workflows/ci: add a job to run docker buildxEgor Tensin
2023-02-07workflows/ci: rename jobsEgor Tensin
2022-10-16workflows/ci: upgrade actionsEgor Tensin
2021-06-15workflows/ci: rename to "CI"Egor Tensin
2021-06-15workflows/publish -> workflows/ciEgor Tensin
2021-06-15workflows/publish: use ubuntu-latestEgor Tensin
2020-11-30add GitHub workflowEgor Tensin