Add docker and pipeline #7

Merged
mike merged 1 commit from 2024-12-15-dockerise into dev 2024-12-15 21:42:01 +01:00

1 commit

Author SHA1 Message Date
90bcd867b0 Add docker and pipeline 2024-12-15 20:43:00 +00:00