merge queue: embarking devel (7d38757) and #3979 together #6828

Sign in to view logs

Summary
Jobs
- lint-extras
Run details
- Usage
- Workflow file

Triggered via pull request July 11, 2023 09:40

opened #3987

mergify/merge-queue/47231e61c8

Status Success

Total duration 2m 35s

Artifacts –

lint-extras.yaml

on: pull_request