Parallelize CI#889

Draft

ArquintL wants to merge 38 commits intomasterfrom

parallelize-ci

Commits on Feb 25, 2026

splits workflow into multiple jobs
ArquintL
committed
fixes IMAGE_TAG to be a single one instead of a newline-separated list of tags
ArquintL
committed
fixes propagation of IMAGE_TAG to later jobs in CI workflow
ArquintL
committed
fixes execution of tests in CI
ArquintL
committed
create '.gobra' directory in docker image
ArquintL
committed
first attempt to split up GobraTests
ArquintL
committed
tries to fix CI by escaping commands
ArquintL
committed
adds more escaping
ArquintL
committed
switches to dynamically created matrix
ArquintL
committed
prints SBT command
ArquintL
committed
fixes path in CI
ArquintL
committed
fixes job dependency in CI
ArquintL
committed
adds output to debug matrix
ArquintL
committed
fixes matrix in CI
ArquintL
committed
adds more escaping to commands in CI
ArquintL
committed
adds more testing to CI
ArquintL
committed
switches to apostroph instead of escaped apostroph in CI
ArquintL
committed
removes apostroph in CI
ArquintL
committed
removes superfluous backslash
ArquintL
committed
makes 'GobraTestsTag' a Java annotation, adds quotes for javaOptions parameter in CI
ArquintL
committed
switches to double quotes for the javaOptions in CI
ArquintL
committed
escapes the backslashes escaping the double quotes for the javaOptions
ArquintL
committed
yet another attempt at correct escaping
ArquintL
committed
yet another try
ArquintL
committed
one more try
ArquintL
committed
adds more log output
ArquintL
committed
another try
ArquintL
committed
changes the way we pass environment variables to the script running within the docker container
ArquintL
committed
yet another attempt to fix quotes
ArquintL
committed
makes pidstat filenames unique
ArquintL
committed
tests whether detour via env variable is necessary
ArquintL
committed
Reverts "tests whether detour via env variable is necessary"
ArquintL
committed
adds some documentation
ArquintL
committed
fixes a compiler warning
ArquintL
committed
merges final image testing and deployment jobs
ArquintL
committed
fixes license header
ArquintL
committed
adds compilation of test classes to the Docker image's build phase
ArquintL
committed
fixes merge bug by reapplying the changes from commit '74462f9179335fd05fd5ec008bb27442e2accb22'
ArquintL
committed