tree e74ea5c0e2d6faf2501ba77fb7dacfb31d1ef774
parent fe8c3ef3cbb9670335a8fdc31af552730baa8da2
author David Tellenbach <david.tellenbach@me.com> 1597863154 +0200
committer David Tellenbach <david.tellenbach@me.com> 1597863154 +0200

Fix nightly CI configuration