Feature/ci build - #3

Open

ndim wants to merge 5 commits into

mainfrom

feature/ci-build

Commits on Nov 27, 2022

ci: add github workflow to do CI builds on pushes and PRs
ndim
committed
f0df02f
ci: making it work
ndim
committed
845beb6
ci: XXX debug OSX failure make check
ndim
committed
bed87a6
ci: looking for test-suite.log
ndim
committed
f9cea09
ci: Disable macOS "make check" for now
ndim
committed
ed39cf2