fix: Fix GitHub workflow

TomSchammo · Oct 26, 2023 · 0fc3465 · 0fc3465
1 parent 3bcd80f
commit 0fc3465
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
@@ -14,14 +14,5 @@ jobs:
     steps:
     - uses: actions/checkout@v3
 
-    - name: configure
-      run: ./configure
-
-    - name: Install dependencies
+    - name: Build document
       run: make
-
-    - name: Run check
-      run: make check
-
-    - name: Run distcheck
-      run: make distcheck