Release .zip files containing the project should be attached to every GitHub release. Release zips are also published for every main branch commit. A Docker container is built and published to the ...