commit 0ed21b988c6d853b89a994dc6795e387a9ce3731
from: Hugo Osvaldo Barrera <hugo@whynothugo.nl>
via: Thomas Böhler <witcher@wiredspace.de>
date: Mon Aug 21 18:44:10 2023 UTC

ci: Use the Makefile in CI

Signed-off-by: Thomas Böhler <witcher@wiredspace.de>

commit - d06b5148dff39d57d89f103278332c807ec2e019
commit + 0ed21b988c6d853b89a994dc6795e387a9ce3731
blob - 400b19a6e0d5c802ad24d8ae45582d54f8f8f5ae
blob + 733b3f95507fe0ef3409a8a2a783389261f1d395
--- .build.yml
+++ .build.yml
@@ -5,6 +5,8 @@ triggers:
     to: witcher <witcher@wiredspace.de>
 packages:
   - rust
+  - scdoc
+  - tree
 sources:
   - https://git.sr.ht/~witcher/rss-email
 tasks:
@@ -19,4 +21,10 @@ tasks:
       cargo clippy --frozen -- -D warnings
   - build: |
       cd rss-email
-      cargo build --frozen
+      # Building with --release is slow and pointless here.
+      sed -i -e 's/--release //' -e 's/release/debug/' Makefile
+      make build
+  - install: |
+      cd rss-email
+      make install DESTDIR=$HOME/installdir
+      tree $HOME/installdir