Fix main build badge to be on push and not pr#325

Merged

jeremyfelder merged 1 commit intomainfrom fix/build-badge

Jan 1, 2024

+4-1

Commits on Dec 31, 2023

Fix main build badge to be on push and not pr
jeremyfelder
committed