get push.sh to work for branch submission #258
Triggered via issue
November 20, 2023 20:13
Status
Success
Total duration
34s
Artifacts
–