Merge branch 'main' into main

This commit is contained in:
Kjeld Schouten-Lebbing 2022-06-16 21:13:20 +02:00 committed by GitHub
commit 0f5bcd22dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -22,5 +22,5 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b # tag=v3
- uses: actions/setup-python@d09bd5e6005b175076f227b13d9730d56e9dcfcb # tag=v4
- uses: actions/setup-python@98f2ad02fd48d057ee3b4d4f66525b231c3e52b6 # tag=v3
- uses: pre-commit/action@646c83fcd040023954eafda54b4db0192ce70507 # tag=v3.0.0