Commit graph

3 commits

Author SHA1 Message Date
Tom Parker-Shemilt
80e35f47c3 Upgrade almost all the deps 2021-05-05 22:21:23 +01:00
Tom Parker-Shemilt
b3606ee454 Add lots of caching to github build 2021-05-05 22:04:07 +01:00
Lukáš Hozda [magnusi]
766bf265b1
Add gtihub actions 2021-01-31 13:46:10 +01:00