Allow auto-merge from PRs made on a pre-authorized fork of General (@JuliaRegistrator/General or @jlbuild/General
#3146
Triggered via issue
October 21, 2024 02:05
DilumAluthge
Status
Skipped
Total duration
2s
Artifacts
–