Update submodule 'scripts' to latest main (!1) · Merge requests · SoSy-Lab / Test-Comp / Tester Archives 2022 · GitLab

The source project of this merge request has been removed.

Thomas Lemberger requested to merge (removed):update-submodules into main Sep 27, 2021

Revision 548985dd8.

Makes CI script show python and benchexec version.

Edited Sep 27, 2021 by Thomas Lemberger