3 Commits

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