mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-10 12:56:32 +00:00
Re-enabled the build on this branch.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
f0a628534e
commit
ad563d26ba
@ -3,8 +3,6 @@ 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