jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-19 01:06:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

log container

Browse Source
This commit is contained in:
Dave Simpson 2024-07-01 15:20:07 +02:00
parent bbd15062fe
commit ae82b21613
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/build.yml vendored
View File

@ -287,7 +287,7 @@ jobs:
steps:
- name: Print IS_WINDOWS_CONFIG
run: echo "IS_WINDOWS_CONFIG=${{ env.IS_WINDOWS_CONFIG }}"
run: echo "${{ fromJSON(matrix.config.container) }}"
- name: Checkout
if: fromJSON(matrix.config.container) == null