Skip to content

Update CI to use github Actions#56

Closed
JasperGeurtz wants to merge 7 commits intodevelopfrom update-ci

Commits

Commits on Feb 27, 2020

Commits on Feb 29, 2020

Commits on Mar 8, 2020