Refactor CI to run in fresh build box#1000

fdupress merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

ci-in-fresh-build-boxEasyCrypt/easycrypt:ci-in-fresh-build-boxCopy head branch name to clipboard