CI: move library proof check below unit tests#223

ahelwer merged 1 commit intotlaplus:maintlaplus/tlapm:mainfrom

ahelwer:ci-move-library-proof-checkahelwer/tlapm:ci-move-library-proof-checkCopy head branch name to clipboard