Make CI faster
In order to make the CI jobs execute as fast as possible and reduce waiting time, our recommendation is to provide a Docker image with all the installed dependencies and restrict the preparations necessary during the actual CI job to a minimum. For the current CI job tests_benchexec
, this could mean installing all the apt images in the Docker images and just installing the latest BenchExec in the CI job.
To do so, not much is necessary, just a custom Docker file (with basically the apt command line that already exists) and a CI job that regularly build and updates the Docker image. Both can be mostly taken from the BenchExec repo, for example.