Closed mwilck closed 3 years ago
Hi Christophe,
this PR adds the github CI-related parts from my repo. As discussed previously, we don't need to spam dm-devel with stuff like this. The CI has already proven useful at least once. It needs more work in the future, see it as a humble beginning.
Best, Martin
Hi Christophe,
this PR adds the github CI-related parts from my repo. As discussed previously, we don't need to spam dm-devel with stuff like this. The CI has already proven useful at least once. It needs more work in the future, see it as a humble beginning.
Best, Martin