Change CI badge to only push events (#1174)
Change CI badge to only push events (#1174)

I noticed that the CI badge was failing and it seems to be caused by the fact that it reflects the latest build including PRs. This change filters the events to only "push events on the master branch" so the badge stays green even if a PR fails.
azerupi/mdBook,azerupi/mdBook,azerupi/mdBook,azerupi/mdBook