Commit Diff

Commit:
0ed21b988c6d853b89a994dc6795e387a9ce3731
From:
Hugo Osvaldo Barrera <hugo@whynothugo.nl>
Via:
Thomas Böhler <witcher@wiredspace.de>
Date:
Message:
ci: Use the Makefile in CI Signed-off-by: Thomas Böhler <witcher@wiredspace.de>
Actions:
Patch | Tree
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