fix(lib): restore main CI lint compliance#102

skulidropek merged 1 commit intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:fix/ci-main-lintskulidropek/docker-git:fix/ci-main-lintCopy head branch name to clipboard