fix(ci): run check workflow for app and lib#22

skulidropek merged 1 commit intomainProverCoderAI/docker-git:mainfrom

fix/issue-21-check-app-libProverCoderAI/docker-git:fix/issue-21-check-app-libCopy head branch name to clipboard