4 commits

Author	SHA1	Message	Date
ibizaman	8cbaf7a212	fix build of manual	2024-10-24 16:57:24 +02:00
ibizaman	5c9a8067d4	build manual in PRs too	2024-10-24 16:26:54 +02:00
Pierre Penninckx	0c9cc7f5b5	improve actions by using cachix (#276)	2024-08-15 06:57:57 +00:00
Pierre Penninckx	4a8a7d686c	build docs and deploy to github pages	2023-11-30 10:38:35 -08:00