zimbatm 1c4ced745c ci: deploy the manual to GitHub Pages		2020-10-22 22:41:55 +02:00
..
github_pages.yml	ci: deploy the manual to GitHub Pages	2020-10-22 22:41:55 +02:00
test.yml	ci: add cachix cache	2020-10-22 22:41:54 +02:00