Commit History

Author SHA1 Message Date
  Christopher Haster 9d6546071b Fixed a recompilation issue in CI, tweaked coverage.py a bit more 5 years ago
  Christopher Haster b84fb6bcc5 Added BUILDDIR, a bit of script reworking 5 years ago
  Christopher Haster b2235e956d Added GitHub workflows to run tests 5 years ago