Add instrumented testing to GitHub Actions CI #63
Description
CI added in #62, in contrast to the old Travis CI, does not run unstrumented tests.
{{ message }}
CI added in #62, in contrast to the old Travis CI, does not run unstrumented tests.