Simon Michael
|
54c758bbdb
|
ci: push, pull: debug logging
|
2022-04-20 22:33:43 -10:00 |
|
Simon Michael
|
aafb6d21cf
|
ci: push, pull: debug logging
|
2022-04-20 22:25:23 -10:00 |
|
Simon Michael
|
5261ecabe0
|
ci: push, pull: debug logging for commit range
|
2022-04-20 22:21:11 -10:00 |
|
Simon Michael
|
ae6295da17
|
;ci: pull: cleanup
|
2022-04-17 07:45:25 -10:00 |
|
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 |
|