Skip to content

Speed up CI by using docker image for benchexec tests

Sven Umbricht requested to merge faster-ci into master

This PR adds a dockerfile and CI job to build the docker image for speeding up the execution of the benchexec tests.

Closes #1.

Edited by Sven Umbricht

Merge request reports