5 Commits

Author	SHA1	Message	Date
Simon Michael	56e015c409	ci: push, pull: clarify, robustify? commitlint step	2022-01-06 06:33:29 -10:00
Simon Michael	07e84fde42	ci: doc improvements	2022-01-05 09:11:01 -10:00
Simon Michael	16124eba14	dev: move commitlint to tools, keeping bin/ for user tools	2021-12-10 16:52:19 -10:00
Simon Michael	0c6575ee8a	ci: more consistent workflow names	2021-12-10 10:40:40 -10:00
Simon Michael	8c25581dd5	ci: linux: rename to pull, don't run on push	2021-12-01 21:47:14 -10:00