Skip to content

Ignore branches that are no longer maintained when merging up (#1838) #1471

Ignore branches that are no longer maintained when merging up (#1838)

Ignore branches that are no longer maintained when merging up (#1838) #1471

Triggered via push May 27, 2025 11:53
Status Success
Total duration 23s
Artifacts
Check generated arginfo files
14s
Check generated arginfo files
Fit to window
Zoom out
Zoom in