Simon Michael
|
004413cc57
|
;ci: linux: fix ci-linux push trigger
|
2020-03-19 11:44:24 -07:00 |
|
Simon Michael
|
36177e48fb
|
;ci: linux: syntax
|
2020-03-17 17:52:15 -07:00 |
|
Simon Michael
|
b5c332dde3
|
;ci: linux: don't let one failing ghc cancel the rest; doc
|
2020-03-17 17:45:27 -07:00 |
|
Simon Michael
|
748708731a
|
;ci: linux: fix syntax
|
2020-03-17 17:26:13 -07:00 |
|
Simon Michael
|
659531fabc
|
;ci: linux: dummy change to force CI
|
2020-03-17 17:24:33 -07:00 |
|
Simon Michael
|
99dc37d0ab
|
;ci: reduced scheduled runs to weekly; build with all ghcs on linux
|
2020-03-17 17:17:41 -07:00 |
|