Commit graph

8 commits

Author SHA1 Message Date
Moritz Poldrack
e9b0186782 mk: add lint target
Run go vet only for now. More linters can be added later. Run linters in
the CI pipeline.

Signed-off-by: Moritz Poldrack <git@moritz.sh>
Acked-by: Robin Jarry <robin@jarry.cc>
2022-06-24 21:08:21 +02:00
Moritz Poldrack
dbc5bb41a5 ci: slim down CI Pipeline
Since the totality of sourcehut only has 4 CI slots at the moment, slim
the CI pipeline down to the lowest common denominator:

Linux (alpine-edge)
 - GNU make
 - latest Go version
 - Go1.13
OpenBSD
 - BSD make
 - latest available Go Version (currently lagging behind 1 version)

We might also want to consider changing OpenBSD to FreeBSD as to my
knowledge FreeBSD is the more common Home-Computer-Version of BSD
instead of OpenBSD which is mainly used for servers. (please don't lynch
me, dear 3 OpenBSD people)

Signed-off-by: Moritz Poldrack <git@moritz.sh>
Acked-by: Robin Jarry <robin@jarry.cc>
2022-06-24 21:08:21 +02:00
Robin Jarry
ba892d7769 builds: add gnupg in preparation of gpg integration
This is required for future gpg unit tests to run.

Signed-off-by: Robin Jarry <robin@jarry.cc>
2022-04-14 21:51:09 +02:00
Robin Jarry
45a7d29b06 builds: test with notmuch
This is never tested. Let's check that it compiles at least.

Signed-off-by: Robin Jarry <robin@jarry.cc>
2022-04-14 21:28:56 +02:00
Robin Jarry
7f4069f0c5 builds: reformat yaml
Use two spaces for indentation consistently.

Signed-off-by: Robin Jarry <robin@jarry.cc>
2022-04-14 21:28:38 +02:00
Mark Dain
e58194c7b5 build: check make install
Ensure that install works on all platforms.
2022-01-24 09:38:56 +01:00
Mark Dain
b9e96751af build: replace archlinux by openbsd
This commit drops Arch Linux in favor of a BSD so there's more variety
in CI.

Link: https://lists.sr.ht/~rjarry/aerc-devel/%3C20220122033806.91728-1-ktprograms%40gmail.com%3E
2022-01-24 09:38:23 +01:00
Robin Jarry
a46262ee57 build: add multiple distributions
Add build and test on debian, fedora and archlinux. Only check code
formatting on alpine.

Signed-off-by: Robin Jarry <robin@jarry.cc>
2022-01-20 20:51:42 +01:00