Create build-and-test GitHub workflow#1130

Merged

johnbartholomew merged 2 commits intogoogle:masterfrom johnbartholomew:ci-test-prs

Feb 7, 2024

+65-1

Commits on Feb 7, 2024

Makefile: switch to using -Werror for test-formatting
johnbartholomew
committed
add GitHub workflow to build and test all PRs and pushes
johnbartholomew
committed