10 commits

Author	SHA1	Message	Date
reggie	41d51b70a5	https://squidfunk.github.io/mkdocs-material/publishing-your-site is weird	2024-10-11 20:58:37 -05:00
reggie	966caddecc	Looks like we can cache pip deps directly with actions/setup-python	2024-10-11 20:55:44 -05:00
reggie	ee1f80d5f5	I don't think if directives need to use ${{}}	2024-10-11 20:42:38 -05:00
reggie	ed43e7b674	I guess that doesn't persist	2024-10-11 20:33:58 -05:00
reggie	b716e73179	Isolate docs-related stuff to docs/, add requirements.txt	2024-10-11 20:30:29 -05:00
reggie	4b82be4534	Ah.. I see	2024-10-11 20:23:12 -05:00
reggie	4fcf69ddad	(future) use mirror/docs for on-push to docs	2024-10-11 20:19:39 -05:00
Trigus42	f04863f1ef	Fix workflow dispatch inputs	2024-10-06 01:21:14 +02:00
Trigus42	adde035263	Check docs on PR	2024-10-06 00:08:34 +02:00
Trigus42	186c0962f4	Add workflow to build docs	2024-10-06 00:08:34 +02:00