aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-01-11Merge branch 'ci' into 'master'Ondřej Čertík
2020-01-11Also do cargo runOndřej Čertík
2020-01-11Add GitLab CIOndřej Čertík
2020-01-11Initial commitOndřej Čertík