Skip to content
Automatic PR Merger

Automatic PR Merger #19172

Sign in to view logs

Automatic PR Merger

Automatic PR Merger #19172

Triggered via push September 22, 2023 09:39
@tmbotmbo
⁠ 97984d2
3.8.0a8
Status Success
Total duration 27s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

automatic-pr-update.yml

on: push
mergepal
8s
mergepal
Fit to window
Zoom out
Zoom in