summaryrefslogtreecommitdiff
path: root/ci.scm
AgeCommit message (Expand)Author
2021-05-11CI: use git archive instead of git checkoutVivien Kraus
2021-05-11Set up the project infrastructureVivien Kraus