Repository navigation
[Peras 27] Split degenerate BlockSupportsPeras instance - #2027
Closed
agustinmista wants to merge 22 commits into
Closed
agustinmista wants to merge 22 commits into
agustinmista wants to merge 22 commits into
IOG Hydra / ci/eval
succeeded
May 21, 2026 in 6s
Evaluation succeeded
Checkout took 3s.
Evaluation took 18 min 4s.
Loading