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