Improvements to prettify #589
+39
−20
Merged
IOG Hydra / ci/eval
succeeded
Jul 17, 2024 in 12s
Evaluation succeeded
Checkout took 0s.
Evaluation took 45s.
Loading