Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-23 20:37:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

enable debug for CI

Browse Source
This commit is contained in:
Links
2022-04-05 19:40:57 +02:00
parent 28c0cf3094
commit 52b3aa8ea4
2 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -170,6 +170,7 @@ jobs:
- name: build example - name: build example
timeout-minutes: 20 timeout-minutes: 20
run: | run: |
set -ex
export DISPLAY=:1.0 export DISPLAY=:1.0
export PATH="$HOME/arduino_ide:$PATH" export PATH="$HOME/arduino_ide:$PATH"
source $GITHUB_WORKSPACE/travis/common.sh source $GITHUB_WORKSPACE/travis/common.sh

2
travis/common.sh
View File

@ -1,5 +1,7 @@
#!/bin/bash #!/bin/bash
set -ex
function build_sketches() function build_sketches()
{ {
local arduino=$1 local arduino=$1