Manual update of GitHub actions (#4394)

This commit is contained in:
Bart Louwers
2026-07-10 02:23:02 +02:00
committed by GitHub
parent e3c81d607a
commit 7f8297efe8
36 changed files with 233 additions and 195 deletions

View File

@@ -17,7 +17,7 @@ jobs:
shell: bash
steps:
- name: Checkout 🛎️
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v4
uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
- name: Generate documentation
run: make mkdocs-build