10 Commits

Author	SHA1	Message	Date
Ara Adkins	b2440fb6d2	Update cache keys on CI (#654)	2020-04-15 14:06:27 +01:00
Ara Adkins	8a99415a30	Fix warnings, docs, and repo structure (#651)	2020-04-14 17:00:51 +01:00
Ara Adkins	9fbad9695a	Tweak the CI configuration (#641)	2020-04-10 20:24:37 +01:00
Łukasz Olczak	e966392cc8	Implementation of the Language Server Supervisor Process (#643)	2020-04-10 12:11:15 +02:00
Ara Adkins	3ab9f7c266	Update CI configuration to ignore docs	2020-04-08 15:07:53 +01:00
Ara Adkins	0f4755ff52	Enable artefact builds on all PR branches (#625)	2020-03-25 07:53:33 +00:00
Ara Adkins	2edede781d	Update workflow to exclude on push	2020-03-24 19:51:05 +00:00
Ara Adkins	0a7b55ca66	Swap CI to GitHub actions (#622)	2020-03-24 19:35:42 +00:00
Ara Adkins	310d3ce617	Add a basic checkout action	2020-03-24 12:53:45 +00:00
Ara Adkins	a319a0177f	Add a basic GH actions workflow (#620)	2020-03-24 12:52:02 +00:00