From 12fc4a81f87dfd29e6b0f68aa2aeb60d664a83d5 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sat, 4 Mar 2023 18:54:05 +0100
Subject: [PATCH] also test that make install works and manpage are present

---
 .github/workflows/CICD.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/CICD.yml b/.github/workflows/CICD.yml
index cf12ee2d7..9e4218a3f 100644
--- a/.github/workflows/CICD.yml
+++ b/.github/workflows/CICD.yml
@@ -408,6 +408,16 @@ jobs:
         make test
       env:
         RUST_BACKTRACE: "1"
+    - name: "`make install`"
+      shell: bash
+      run: |
+        DESTDIR=/tmp/ make PROFILE=release install
+        # Check that the manpage is present
+        test -f /tmp/usr/local/share/man/man1/whoami.1
+        # Check that the completion is present
+        test -f /tmp/usr/local/share/zsh/site-functions/_install
+      env:
+        RUST_BACKTRACE: "1"
 
 
   build_rust_stable: