Run CI workflow on pull requests (#96)

This commit is contained in:
Chidi Williams 2022-10-16 20:32:58 +01:00 committed by GitHub
commit 0e84abe3f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,10 @@
---
name: CI
'on': [push, pull_request]
on:
push:
branches:
- master
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}