Add github action CI for the make build on Catalina#5445

Merged

hannes-steffenhagen-diffblue merged 2 commits intodiffblue:developfrom

hannes-steffenhagen-diffblue:CI/macos-10.15-make-check

Aug 14, 2020

Commits on Aug 7, 2020

Add github action CI for the make build on Catalina

Hannes Steffenhagen
authored and
Hannes Steffenhagen
committed

Commits on Aug 13, 2020

Add JBMC testing to Catalina Make CI
hannes-steffenhagen-diffblue
committed