Skip to content
Commit d3026175 authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'ci/compelxity-log-naming' into 'main' 

[CI] Make GetWmops.sh work for basop repo + add proper naming to complexity logfiles

See merge request !1845
parents 300a2d13 6e74c84d
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment