diff options
author | Robin Jarry <robin@jarry.cc> | 2022-06-24 21:46:51 +0200 |
---|---|---|
committer | Robin Jarry <robin@jarry.cc> | 2022-06-24 21:46:51 +0200 |
commit | bc863921697ed23d6a02135995700c119f2fd8c7 (patch) | |
tree | 82b28136af07792f33d97360952d5bd616b432ee /.builds | |
parent | 7bdfa928cbab7dbd82c51af43f8ec2b8e090e82a (diff) | |
download | aerc-bc863921697ed23d6a02135995700c119f2fd8c7.tar.gz |
mk: merge checkfmt into lint
No need to have two separate targets.
Signed-off-by: Robin Jarry <robin@jarry.cc>
Diffstat (limited to '.builds')
-rw-r--r-- | .builds/alpine-edge.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.builds/alpine-edge.yml b/.builds/alpine-edge.yml index 92322b44..3893b986 100644 --- a/.builds/alpine-edge.yml +++ b/.builds/alpine-edge.yml @@ -11,9 +11,6 @@ environment: DESTDIR: ./out GOFLAGS: "-tags=notmuch" tasks: - - checkfmt: | - cd aerc - make checkfmt - lint: | cd aerc make lint |