Skip to content

Merge main into allow-committee-elect-action-update #35

Merge main into allow-committee-elect-action-update

Merge main into allow-committee-elect-action-update #35

Triggered via push June 13, 2025 01:58
Status Success
Total duration 37s
Artifacts
Automatic PR Updater
21s
Automatic PR Updater
Fit to window
Zoom out
Zoom in