Add pdf to release

RainerKuemmerle · Dec 30, 2024 · ce14518 · ce14518
1 parent c966ed5
commit ce14518
Showing 1 changed file with 10 additions and 8 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -28,13 +28,15 @@ jobs:
       run: |
           cd doc
           make
-          ls -l ${{github.workspace}}/doc/*.pdf
 
+    - name: Check PDF output
+      run: |
+          ls -l ${{github.workspace}}/doc/*.pdf
 
-    # - name: Create github Release
-    #   uses: softprops/action-gh-release@v2
-    #   if: startsWith(github.ref, 'refs/tags/')
-    #   with:
-    #     generate_release_notes: false
-    #     files: |
-    #       ${{github.workspace}}/doc/*.pdf
+    - name: Create github Release
+      uses: softprops/action-gh-release@v2
+      if: startsWith(github.ref, 'refs/tags/')
+      with:
+        generate_release_notes: false
+        files: |
+          ${{github.workspace}}/doc/*.pdf