gasche/efftester

Have a test target and some CI

Closed this issue · 0 comments

This is a tracking issue for comment #1 (comment) : it would be nice to have a test target (after the build-system revamp has settled down, of course), and to have some basic CI on our PRs that the tests still pass.