ci: update GitHub Actions

This commit is contained in:
MarcoIeni 2025-01-07 15:06:24 +01:00
parent 615e4834cf
commit b8ade8536c
No known key found for this signature in database
1 changed files with 3 additions and 3 deletions

View File

@ -2,12 +2,12 @@ name: Correctness Checks
on: [push, pull_request] on: [push, pull_request]
jobs: jobs:
Run-Markdown-Checks: Run-Markdown-Checks:
runs-on: ubuntu-20.04 runs-on: ubuntu-24.04
steps: steps:
- name: checkout - name: checkout
uses: actions/checkout@v2 uses: actions/checkout@v4
- name: Install Python dependencies - name: Install Python dependencies
uses: py-actions/py-dependency-install@v3 uses: py-actions/py-dependency-install@v4
with: with:
path: "tools/requirements.txt" path: "tools/requirements.txt"
update-pip: "false" update-pip: "false"