Robert Helgesson b183e7f77e ci: use 20.09 branch in CI		2020-12-26 11:22:31 +01:00
..
github_pages.yml	ci: deploy the manual to GitHub Pages	2020-10-22 22:41:55 +02:00
test.yml	ci: use 20.09 branch in CI	2020-12-26 11:22:31 +01:00