Skip to content

update umpire hash to actual merge commit #211

update umpire hash to actual merge commit

update umpire hash to actual merge commit #211

Triggered via push December 1, 2025 20:47
Status Success
Total duration 44m 25s
Artifacts

build.yml

on: push
Matrix: builds-and-tests
Fit to window
Zoom out
Zoom in