Skip to content
lint-extras

merge queue: embarking devel (c0085e5) and #4210 together #7338

Sign in to view logs

merge queue: embarking devel (c0085e5) and #4210 together

merge queue: embarking devel (c0085e5) and #4210 together #7338

Triggered via pull request October 25, 2023 13:05
@mergifymergify[bot]
opened #4212
mergify/merge-queue/ef6f41c001
Status Success
Total duration 3m 14s
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
3m 2s
lint-extras
Fit to window
Zoom out
Zoom in