Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/arduino/Arduino.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCristian Maglie <c.maglie@arduino.cc>2020-02-06 18:04:07 +0300
committerCristian Maglie <c.maglie@arduino.cc>2020-02-06 18:04:39 +0300
commitefdd341e0e3d6ad0f7cedb779c33470fbc2b3a38 (patch)
treecdfadd91ce579e109573ab59d8255c2f60759321 /.github
parent3c7c0e46e910eb61264cb9fc1584865b471c6c3f (diff)
Run github actions on pull request
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ant.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/ant.yml b/.github/workflows/ant.yml
index a0a91efa9..11b9bd1a5 100644
--- a/.github/workflows/ant.yml
+++ b/.github/workflows/ant.yml
@@ -1,6 +1,8 @@
name: Java CI
-on: [push]
+on:
+ push:
+ pull_request:
jobs:
build: