From db550f832a962972265f0a34473ac26dd03396df Mon Sep 17 00:00:00 2001
From: Andreas Deininger <andreas@deininger.net>
Date: Fri, 1 Nov 2024 21:30:10 +0100
Subject: [PATCH] Bump GitHub action workflows

---
 .github/workflows/build-examples.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/build-examples.yml b/.github/workflows/build-examples.yml
index cbd2b20..2cd64e6 100644
--- a/.github/workflows/build-examples.yml
+++ b/.github/workflows/build-examples.yml
@@ -6,12 +6,12 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
       with:
         fetch-depth: 0 # otherwise, there would be errors pushing refs to the destination repository.
     - name: Setup pandoc
       env:
-        PANDOC_VERSION: "3.4"
+        PANDOC_VERSION: "3.5"
       run: |
         wget -qO- https://github.com/jgm/pandoc/releases/download/${PANDOC_VERSION}/pandoc-${PANDOC_VERSION}-linux-amd64.tar.gz | sudo tar xzf - --strip-components 1 -C /usr/local/
     - name: Setup TexLive
@@ -35,9 +35,9 @@ jobs:
     - name: Setup fonts and image convertion tool
       run: sudo apt-get update -qq && sudo apt-get install fonts-noto-cjk poppler-utils -y
     - name: Setup Python
-      uses: actions/setup-python@v2
+      uses: actions/setup-python@v5
       with:
-        python-version: '3.12'
+        python-version: '3.13'
     - name: Install python filters
       run: |
         python -m pip install --upgrade pip