Skip to content
push-pr

replace dev/script/push-pr.sh with an equivalent GHA via `workflow_… #5

Sign in to view logs

replace dev/script/push-pr.sh with an equivalent GHA via `workflow_…

replace dev/script/push-pr.sh with an equivalent GHA via `workflow_… #5

Triggered via push January 22, 2024 15:31
@twrichardstwrichards
pushed 89f6549
move_push-pr_script_to_GHA
Status Success
Total duration 15s
Artifacts –

push-pr.yml

on: push
push-pr
7s
push-pr
Fit to window
Zoom out
Zoom in