11 Commits

Author	SHA1	Message	Date
Leni Aniva	e1d27d6ae0	build: Remove doc regeneration on doc/main	2024-10-22 22:26:01 -07:00
Leni Aniva	1f3784d12c	fix: Remove lake version check	2024-10-18 15:40:52 -07:00
Leni Aniva	1b05419233	fix: Checkout submodules	2024-10-18 15:39:36 -07:00
Leni Aniva	1c017e342e	fix: Move elan to next step	2024-10-18 15:38:18 -07:00
Leni Aniva	0fef9e2923	fix: Install Lean toolchain	2024-10-18 15:37:35 -07:00
Leni Aniva	92edb0d0cd	chore: Fix build task names and check lake	2024-10-18 15:35:06 -07:00
Leni Aniva	5379b0abe2	fix: Install elan in pipeline	2024-10-18 15:30:12 -07:00
Leni Aniva	dd6efc8485	fix: Doc building in poetry	2024-10-18 15:27:57 -07:00
Leni Aniva	9fe5a557f2	fix: Docs branch name	2024-10-18 14:57:30 -07:00
Leni Aniva	9a8d90880a	fix: Install jupyter book dependency	2024-10-18 14:56:08 -07:00
Leni Aniva	18872dc0ec	feat: GitHub workflow for documentations	2024-10-18 14:48:54 -07:00