Commit History

Author SHA1 Message Date
  Christopher Haster 65ab1d7ec2 Fixed a recompilation issue in CI, tweaked coverage.py a bit more 5 years ago
  Christopher Haster 96a97479c7 Added BUILDDIR, a bit of script reworking 5 years ago
  Christopher Haster 38c1ee4845 Added GitHub workflows to run tests 5 years ago