Age | Commit message (Expand) | Author |
---|---|---|
2023-08-24 | ci: use make -C instead of changing directories | Robin Jarry |
2023-08-11 | mk: deprecate BSD make in favor of GNU make | Robin Jarry |
2022-06-24 | ci: slim down CI Pipeline | Moritz Poldrack |
2022-04-14 | builds: add gnupg in preparation of gpg integration | Robin Jarry |
2022-04-14 | builds: reformat yaml | Robin Jarry |
2022-01-24 | build: check make install | Mark Dain |
2022-01-24 | build: replace archlinux by openbsd | Mark Dain |