|
scripts
|
Fix CI
|
2023-02-19 17:32:28 +08:00 |
|
workflows
|
Add platforms to i386 alpine
|
2023-01-26 21:18:11 +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 |
