Commit Graph

160 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