Update pipeline-def for docs

jgru · Oct 22, 2023 · 9eacc8b · 9eacc8b
1 parent fb98feb
commit 9eacc8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -21,7 +21,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - name: Set up Emacs
-        uses: purcell/setup-emacs@v3.0
+        uses: purcell/setup-emacs@master
         with:
           version: 28.1
       - name: Export org to md