ci: increase integration test timeouts#1008

automergerpr-permission-manager[bot] merged 1 commit intomasterruntimeverification/mir-semantics:masterfrom

ci/increase-integration-timeoutsruntimeverification/mir-semantics:ci/increase-integration-timeoutsCopy head branch name to clipboard