5 Commits

Author	SHA1	Message	Date
Erik Svedäng	bd08cb4677	Disable CI for Windows until we have investigated the problem.	2020-04-29 10:58:06 +02:00
Tim Deve	8d71b35a1c	Creates Github Actions CI for Windows	2020-04-11 09:59:47 +01:00
Tim Dévé	d7bafb36d3	Adds stack test to CI	2020-04-06 11:27:09 +01:00
Tim Deve	f081992830	Uses restore-keys in CI to refresh cache on each run	2020-04-04 17:09:03 +01:00
Tim Dévé	8ef25ee40f	Adds Github Actions config to build compiler and run carp tests	2020-04-04 13:21:19 +01:00