Enabled CI on pull requests

This commit is contained in:
Valerio De Benedetto 2022-07-29 10:58:54 +02:00 committed by GitHub
parent 074cdf3d86
commit 22fae7da9c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,9 @@
name: ci
on: [push]
on:
push:
branches: [master]
pull_request:
branches: [master]
jobs:
Build:
runs-on: ubuntu-latest