Skip to content

Commit 2ddc0a2

Browse files
authored
🧪 Run CI also on pushes to master (#1073)
This is mainly because it is required by codecov, for comparing coverage of PRs
1 parent 6ffb097 commit 2ddc0a2

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

‎.github/workflows/ci.yaml

+4-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
name: CI
2-
on: [pull_request]
2+
on:
3+
push:
4+
branches: [master]
5+
pull_request:
36
jobs:
47

58
lint:

0 commit comments

Comments
 (0)