Skip to content

Add CI workflow to check for problems with shell scripts#11

Merged
MatteoPologruto merged 5 commits intoarduino:mainfrom
MatteoPologruto:check-shell
Dec 19, 2022