Skip to content

Merge pull request #1398 from herbie-fp/update-rival-version #4658

Merge pull request #1398 from herbie-fp/update-rival-version

Merge pull request #1398 from herbie-fp/update-rival-version #4658

Triggered via push October 1, 2025 01:30
Status Success
Total duration 17m 40s
Artifacts

distribute.yml

on: push
Matrix: distribute
Fit to window
Zoom out
Zoom in