workflow: add sanity make dist to workflow

chaos · Aug 29, 2023 · 2497f17 · 2497f17
1 parent 5a1f579
commit 2497f17
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -21,3 +21,5 @@ jobs:
         run: ./configure
       - name: make
         run: make
+      - name: make dist
+        run: make dist