Skip to content

Add a badge to the README for the Makefile-based CI#8

Merged
MHenderson merged 1 commit intomainfrom 7-add-a-badge-for-the-makefile-workflowJul 3, 2024

Commits

Commits on Jul 3, 2024