git push

2026-06-23 08:47:38 +02:00 · 2026-06-17 11:21:31 +02:00
parent 85f80a6487
commit 2dc81417f6
1 changed files with 3 additions and 1 deletions
@@ -25,7 +25,9 @@ jobs:
      - name: Build documentation
        working-directory: doc
-        run: make
+        run: make -B
        # -B ensures build when doc/testssl.1.md changes. When checking out the md file
        # it probably might have a time stamp which indicates nothing has changed
      - name: Commit and push generated doc files
        run: |