Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-21 10:52:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

more debug

Browse Source
This commit is contained in:
Links
2022-06-24 10:35:37 +02:00
committed by Markus
parent 1fb67c8868
commit 04249a9b62
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -166,7 +166,7 @@ jobs:
export PATH="$HOME/arduino_ide:$PATH" export PATH="$HOME/arduino_ide:$PATH"
arduino --board $BOARD --save-prefs arduino --board $BOARD --save-prefs
arduino --get-pref sketchbook.path arduino --get-pref sketchbook.path
arduino --get-pref
- name: build example - name: build example
timeout-minutes: 20 timeout-minutes: 20

1
travis/common.sh
View File

@ -31,6 +31,7 @@ function build_sketches()
function build_sketch() function build_sketch()
{ {
set -e +x
local arduino=$1 local arduino=$1
local sketch=$2 local sketch=$2
$arduino --verify $sketch; $arduino --verify $sketch;