diff options
author | NRK <nrk@disroot.org> | 2022-06-16 05:08:09 +0200 |
---|---|---|
committer | NRK <nrk@disroot.org> | 2022-06-16 05:08:09 +0200 |
commit | a67665a1c1569cdc16366cf635f76eb00c96048a (patch) | |
tree | 0628688f22ed1dd26fd58a8bb7d8b8fe754f4e9e /exec | |
parent | 33a5d54cae441e447186c640747740dabc0c05fe (diff) |
add codeberg ci and cleanup github one (#311)
- apt-get is slow, takes up ~1m40s just to install deps, fix it by not
using it. instead use alpine linux for codeberg ci, which brings build
time down to 25s.
- And since alpine uses musl, it's probably a good idea to use it on our
ci since it might catch us using any glibc extensions. The github ci
can keep using ubuntu.
- remove duplication of CFLAGS by having it on a separate file instead.
- remove pull_request from github ci since we no longer accept PRs
there.
Closes: https://codeberg.org/nsxiv/nsxiv/issues/307
Reviewed-on: https://codeberg.org/nsxiv/nsxiv/pulls/311
Reviewed-by: Berke Kocaoğlu <berke.kocaoglu@metu.edu.tr>
Reviewed-by: TAAPArthur <taaparthur@noreply.codeberg.org>
Diffstat (limited to 'exec')
0 files changed, 0 insertions, 0 deletions