feat(ci): add cross-platform final build checks#279

konard wants to merge 3 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-278-d92a50df7e27konard/ProverCoderAI-docker-git:issue-278-d92a50df7e27Copy head branch name to clipboard