2 Commits

Author	SHA1	Message	Date
David Holdeman	3f1284b25f	make wiki sync happy part 1/2 (#371) ... * make wiki sync happy * fix lint error	2023-01-10 19:05:14 -05:00
David Holdeman	99b3240a02	Split into two workflows (#319) ... * break workflow into two * check out repo duh	2022-12-28 22:27:40 -05:00