5 Commits

Author	SHA1	Message	Date
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