Simon Michael
|
1c3dd50e5b
|
ci: sync push/pull, check both with GHC 8.6 to satisfy master
|
2022-03-26 09:26:53 -10:00 |
|
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 |
|