From 9eacc8b742377b7cf974fe4d129e1da6231111d6 Mon Sep 17 00:00:00 2001 From: Jan Gru Date: Sun, 22 Oct 2023 02:47:17 +0200 Subject: [PATCH] Update pipeline-def for docs --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0d20341..3b614f4 100644 --- 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