patrick96 cf739ed295 ci: Use github actions		2020-12-12 01:43:12 +01:00
..
configure.sh	ci: Use github actions	2020-12-12 01:43:12 +01:00
summary.sh	ci: Use github actions	2020-12-12 01:43:12 +01:00