Simon Michael
|
db28b6b9ee
|
;ci: pull: another fix like push
|
2022-04-21 21:32:44 -10:00 |
|
Simon Michael
|
b03bbc9184
|
ci: push, pull: debug logging
|
2022-04-20 23:04:30 -10:00 |
|
Simon Michael
|
0023982560
|
ci: push, pull: debug logging
|
2022-04-20 23:00:57 -10:00 |
|
Simon Michael
|
64ae4c25fa
|
ci: push, pull: debug logging
|
2022-04-20 22:58:18 -10:00 |
|
Simon Michael
|
5e46044eb6
|
ci: push, pull: debug logging
|
2022-04-20 22:51:32 -10:00 |
|
Simon Michael
|
ef5aafd11c
|
ci: push, pull: debug logging
|
2022-04-20 22:37:45 -10:00 |
|
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 |
|