4 commits

Author	SHA1	Message	Date
Pierre Penninckx	4479a68f32	use correct cache name for pushing to cachix (#330)	2024-10-26 14:35:16 +00:00
Pierre Penninckx	2dd3f4cff1	fix builds in CI (#322)	2024-10-24 08:27:33 -07: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