2 commits

Author	SHA1	Message	Date
Julian Orth	0697911b7c	docs: configure gh-pages deployment	2022-11-20 11:36:47 +01:00
Julian Orth	c56ec14345	infra: update ci scripts	2022-05-04 17:56:24 +02:00