4 Commits

Author	SHA1	Message	Date
Iustin Pop	886ce1f261	Switch 'make check' to be done via shelltestrunner ... The embedding of tests in the Makefile works only for that is there today - a few `--version` and `stinit -p` calls. For expanding the test coverage, as much as it can be done for `mt`, let's use a proper shell test runner. `shelltestrunner` is available in Debian/Ubuntu, so it's likely to be available in other distributions too, and as such should not be a big barrier to contribution.	2021-06-06 01:46:03 +02:00
Iustin Pop	3241491f72	CI: Add coverage job and upload to codecov	2021-06-05 23:51:01 +02:00
Iustin Pop	9759c9c469	Add github actions CI workflow	2021-06-05 23:33:42 +02:00
Iustin Pop	7366f37f69	Test enable codeql analysis	2020-08-31 20:54:00 +02:00