Fix merge pipeline#21
Merged
RobinWijnant merged 19 commits intomasterfrom 6-basic-ci-setupApr 30, 2020
+12-23
Commits
Commits on Apr 29, 2020
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
Commits on Apr 30, 2020
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedGithub Workflow Bot
- committedRobin Wijnant
Merge branch '6-basic-ci-setup' of https://github.com/kodiak-packages/ventura into 6-basic-ci-setup
committedRobin Wijnant- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant
- committedRobin Wijnant