[TRIVIAL] Fix banned solvers metric #17505
Triggered via pull request
February 27, 2025 17:38
squadgazzz
squadgazzz
opened
#3299
Status
Success
Total duration
18s
Artifacts
–