7 Commits

Author	SHA1	Message	Date
Julian Ospald	b29358a3ce	Add Linux Mint bindist installations to github actions	2022-10-08 21:37:57 +08:00
Julian Ospald	70f6aa4112	Fix libffi install on ubuntu18.04	2022-09-16 17:16:51 +08:00
Julian Ospald	34414b4a6b	Add ubuntu 18.04	2022-09-16 17:14:11 +08:00
Julian Ospald	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