| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 409763664 | master | Use pull_request instead of pull_request_target for Github Actions (#1251) | push | GitHub | github |
39.47 |
|
| 384450453 | master | Update build badge in README.md | push | GitHub | github |
38.33 |