Simon Michael
|
99dc37d0ab
|
;ci: reduced scheduled runs to weekly; build with all ghcs on linux
|
2020-03-17 17:17:41 -07:00 |
|
Simon Michael
|
33df4dbccb
|
;ci: set PATH before running shelltest
Not sure why this is failing only now..
|
2020-03-16 10:34:36 -07:00 |
|
Simon Michael
|
5139e2a63e
|
;ci: github: fix trigger paths
|
2020-03-12 08:15:32 -07:00 |
|
Simon Michael
|
e0cbcd3e2e
|
;ci: dummy change to test times following an all green push
|
2020-03-07 15:15:09 -08:00 |
|
Simon Michael
|
be25c28822
|
ci: --pedantic is too much for now
|
2020-03-07 14:53:12 -08:00 |
|
Simon Michael
|
1f03c74b0d
|
;ci: files cleanup
|
2020-03-07 14:36:27 -08:00 |
|