Merge pull request #14 from chu11/makedist

workflow: add sanity make dist to workflow
chaos · Aug 29, 2023 · 4194ce3 · 4194ce3
2 parents 05f6f23 + ba454e2
commit 4194ce3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,3 +15,5 @@ jobs:
         run: ./configure
       - name: make
         run: make
+      - name: make dist
+        run: make dist