4bccb92d3f
Fix bindist CI
2022-12-25 23:33:21 +08:00
d309865d02
Allow to trigger workflow via comment
2022-12-18 02:22:57 +08:00
3b98df479a
Fix CI
2022-12-14 22:37:57 +08:00
b29358a3ce
Add Linux Mint bindist installations to github actions
2022-10-08 21:37:57 +08:00
70f6aa4112
Fix libffi install on ubuntu18.04
2022-09-16 17:16:51 +08:00
34414b4a6b
Add ubuntu 18.04
2022-09-16 17:14:11 +08:00
3f891cc56a
Allow to set arbitrary tools in bindist action
...
Fixes #35
2022-09-15 22:25:22 +08:00
amesgen
0bdb62c58e
Consolidate and isolate bindist installation
...
In particular, this now ensure that we actually use the ghcup version we
installed as well as a separate installation directory, instead of any
potentially previously installed versions/files.
2022-08-11 03:29:47 +02:00
amesgen
0c0736526a
Bindist CI: add windows
2022-08-10 19:50:04 +02:00
amesgen
928375fa74
Add CI for bindist installation
2022-08-09 21:44:47 +02:00
