infra: update CI infrastructure settings#131

dstallenberg merged 4 commits intodevelopsyntest-framework/syntest-solidity:developfrom

mitchellolsthoorn-patch-1syntest-framework/syntest-solidity:mitchellolsthoorn-patch-1Copy head branch name to clipboard