test: pre-push smoke source#161

skulidropek wants to merge 9 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:smoke-prehook-source-160skulidropek/docker-git:smoke-prehook-source-160Copy head branch name to clipboard