commit | fc477611191dcd85a277244cef7c17f909d3dd15 | [log] [tgz] |
---|---|---|
author | Thomas Kemmer <tkemmer@computer.org> | Mon Aug 09 21:57:40 2021 +0200 |
committer | Thomas Kemmer <tkemmer@computer.org> | Mon Aug 09 21:57:40 2021 +0200 |
tree | 9ca2066f52086ca6b63b9eb5fe582bae962f1b2d | |
parent | e919f2fbfca1c404a9d9e313ddc0a1f4fe119f76 [diff] |
Move CI to GitHub Actions, coverage to Codecov.