Closed
Description
We should have an automated build of all formats, using the new Docker build system. Can we use GitHub actions for this?
c/f: #1294 (comment)
We should have an automated build of all formats, using the new Docker build system. Can we use GitHub actions for this?
c/f: #1294 (comment)