Jörg Thalheim 943f84be5a ci: expose github api keys		2020-11-29 18:01:38 +01:00
..
pr.yml	switch to github actions from travis	2020-11-29 17:36:04 +01:00
update.yml	ci: expose github api keys	2020-11-29 18:01:38 +01:00