4 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	11e908a2e9	fix CI run on tag push	2021-02-01 00:28:22 +01:00
Matthias Kretschmann	8e620750dc	CI tweaks	2021-02-01 00:04:34 +01:00
Matthias Kretschmann	777be77f73	disable GitHub packsge registry publishing ... * the new registry-url is not picked up by following publish step	2020-03-22 16:00:01 +01:00
Matthias Kretschmann	c561f89670	switch test run to GitHub Actions	2020-02-24 11:32:46 +01:00