Merge branch '__rultor'

objectionary · Jul 12, 2023 · 29a4250 · 29a4250
2 parents 9ac24e2 + 1929866
commit 29a4250
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
@@ -46,7 +46,7 @@ jobs:
           convert -density 300 -quality 100 -colorspace RGB crop.pdf[0] ebnf.png
           mkdir gh-pages
           cp ebnf.png gh-pages
-      - uses: JamesIves/[email protected].1
+      - uses: JamesIves/[email protected].3
         with:
           branch: gh-pages
           folder: eo-parser/target/gh-pages