Skip to content

merging 5133 to prod #3013

merging 5133 to prod

merging 5133 to prod #3013

Triggered via pull request October 12, 2023 23:18
Status Success
Total duration 12s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

prevent-prod-merges.yml

on: pull_request
check-branch
2s
check-branch
Fit to window
Zoom out
Zoom in