Only run CI on pushes to master and on all pull requests (#1670)
Fixes #1668
B
Benedikt Reinartz committed
75f4398174274e44a7ef8b2538fe3aa7e20406d1
Parent: f81b1c6
Committed by GitHub <noreply@github.com>
on 1/9/2022, 9:14:03 PM