Include dev branch in CI (#2739)

This commit is contained in:
Bruce Berrios 2022-03-20 12:31:51 -04:00 committed by GitHub
parent c1b5a7f745
commit adf5a0d1db
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,7 +2,7 @@ name: PR Check
on:
pull_request:
branches: [master]
branches: [master, dev]
jobs:
build: