Perform these actions on pull requests, not push. (#636)

Otherwise they don't happen if somebody makes a PR from a different
fork.

Change-Id: Ic09eb8a556e2dfbc0900e3df9f07cf7aff3d5309
Signed-off-by: Tim Newsome <tim@sifive.com>
This commit is contained in:
Tim Newsome 2021-07-27 11:13:30 -07:00 committed by GitHub
parent 90d1d490c1
commit 9aa8bab63f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
on: push
on: pull_request
name: Check Code Style

View File

@ -1,4 +1,4 @@
on: push
on: pull_request
name: Linux Build

View File

@ -2,7 +2,7 @@
# Copyright (C) 2020 by Tarek BOUCHKATI <tarek.bouchkati@gmail.com>
on: push
on: pull_request
name: OpenOCD Snapshot