Julian Ospald fffaa65b7f Don't install stack by default in CI		2023-01-04 00:58:05 +08:00
..
scripts	Don't install stack by default in CI	2023-01-04 00:58:05 +08:00
workflows	Merge branch 'issue-367-content-prop'	2023-01-03 23:17:35 +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