diff options
| author | NRK <nrk@disroot.org> | 2022-06-17 14:01:09 +0600 |
|---|---|---|
| committer | Gitea <gitea@fake.local> | 2022-06-25 08:27:01 +0200 |
| commit | 82487293203cf5bad77e4fc8aa4da262e7b1c049 (patch) | |
| tree | b80cf8ee5c61fb09bff3a0f7922cb582bfb2aedf /Makefile | |
| parent | a9d2b5b088a03972908bdfd2878091b68e8bc4b0 (diff) | |
[ci]: skip the pipeline entirely if branch isn't master
currently, it will clone the repo and then skip the step. this is
wasteful, instead skip the pipeline entirely.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions