Skip to content
lint-extras

merge queue: embarking devel (526412d) and #4135 together #7142

Sign in to view logs

merge queue: embarking devel (526412d) and #4135 together

merge queue: embarking devel (526412d) and #4135 together #7142

Triggered via pull request September 19, 2023 08:46
@mergifymergify[bot]
opened #4144
mergify/merge-queue/c2cbaa2b47
Status Success
Total duration 3m 9s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-extras.yaml

on: pull_request
lint-extras
2m 57s
lint-extras
Fit to window
Zoom out
Zoom in