|
scripts
|
Fix CI
|
2023-02-19 19:15:09 +08:00 |
|
workflows
|
Use debian:10 rather
|
2023-02-19 18:48:42 +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 |
