Put README generation in GitHub Action

maouw · Oct 24, 2023 · 7d1ea1c · 7d1ea1c
1 parent d649a02
commit 7d1ea1c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/mkreadme.yml b/.github/workflows/mkreadme.yml
@@ -1,5 +1,5 @@
 name: Build documentation
-on:
+"on":
   push:
 
 jobs:
@@ -18,7 +18,7 @@ jobs:
       - name: Check if README.md has changed
         id: readme-changed
         run: |
-          if ! git --no-pager diff --name-only --quiet --diff-filter=AM ${{ github.event.before }} ${{ github.event.after }} -- hyakvnc .build/README.j2.md .github/workflows/mkreadme.yml; then
+          if git --no-pager diff --name-only --quiet --diff-filter=AM ${{ github.event.before }} ${{ github.event.after }} -- hyakvnc .build/README.j2.md .github/workflows/mkreadme.yml; then
             gh run cancel ${{ github.run_id }}
             gh run watch ${{ github.run_id }}
           fi