Jörg Thalheim dcc01caa04 ci: try to fix pushing		2020-11-29 18:10:00 +01:00
..
pr.yml	switch to github actions from travis	2020-11-29 17:36:04 +01:00
update.yml	ci: try to fix pushing	2020-11-29 18:10:00 +01:00