Use ubuntu-20.04 for Ruff lint job (#88355)

pull/88257/head
Joakim Sørensen 2023-02-17 23:07:02 +01:00 committed by GitHub
parent 04d51aa8de
commit fa811da872
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -336,7 +336,7 @@ jobs:
lint-ruff:
name: Check ruff
runs-on: ubuntu-latest
runs-on: ubuntu-20.04
needs:
- info
- pre-commit