Skip to content

Adjust settings for Legion/SymCC

Gidon Ernst requested to merge gernst/testcomp-bench-defs:main into main

Merge request reports