make our github actions run on pull requests, too

pull/972/head
Jesse Vincent 4 years ago
parent 6bd1f81ea0
commit 0f9fc0b4be
No known key found for this signature in database
GPG Key ID: CC228463465E40BC

@ -1,6 +1,6 @@
name: Build name: Build
on: push on: [push, pull_request]
env: env:
BOARD_HARDWARE_PATH: ../hardware BOARD_HARDWARE_PATH: ../hardware

Loading…
Cancel
Save