scripts
|
Cirrus CI
|
2022-12-16 18:25:17 +08:00 |
workflows
|
Update CI
|
2022-12-18 22:00:33 +08:00 |
ghc-8.10.3-linux.alpine.files
|
Switch releases to Github CI
|
2022-11-20 23:29:56 +08:00 |
ghc-8.10.3-linux.files
|
Switch releases to Github CI
|
2022-11-20 23:29:56 +08:00 |
ghc-8.10.3-windows.files
|
Switch releases to Github CI
|
2022-11-20 23:29:56 +08:00 |
ghcup-run.files
|
Switch releases to Github CI
|
2022-11-20 23:29:56 +08:00 |
ghcup-run.files.alpine
|
Switch releases to Github CI
|
2022-11-20 23:29:56 +08:00 |
ghcup-run.files.windows
|
Switch releases to Github CI
|
2022-11-20 23:29:56 +08:00 |
release.yaml
|
Switch to github actions wrt #178 and #159
|
2021-07-13 15:42:20 +02:00 |