github-mirrors/thirdparty-ArduinoJson
1
0
Fork 0
mirror of https://github.com/eledio-devices/thirdparty-ArduinoJson.git synced 2025-10-31 00:32:37 +01:00
Code Issues Packages Projects Releases Wiki Activity

CI: use ubuntu-20.04 for GCC

Browse Source
This commit is contained in:
Benoit Blanchon
2022-12-05 12:19:59 +01:00
parent 0f85a55cac
commit 3d62fa8af2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View File

@@ -21,7 +21,7 @@ jobs:
gcc:
name: GCC
needs: lint
runs-on: ubuntu-latest
runs-on: ubuntu-20.04
strategy:
fail-fast: false
matrix:
@@ -557,7 +557,7 @@ jobs:
codeql:
name: CodeQL
runs-on: ubuntu-latest
runs-on: ubuntu-20.04
needs: gcc
permissions: