Commit ffdc6b7f authored Jun 01, 2023 by Jan Kiene

Merge branch 'increase_timeout_for_instrumented_build_job' into 'main'

increase timeout for instrumented build job

See merge request !694