mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-08 11:56:36 +00:00
CI skip.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
c4a8062df4
commit
b6b4c75718
@ -3,6 +3,8 @@ trigger:
|
|||||||
branches:
|
branches:
|
||||||
include:
|
include:
|
||||||
- master
|
- master
|
||||||
|
exclude:
|
||||||
|
- arduino/arduino-pro-ide#112 # TODO: remove this once the PR is not in WIP.
|
||||||
|
|
||||||
pr:
|
pr:
|
||||||
- master
|
- master
|
||||||
|
Loading…
x
Reference in New Issue
Block a user