Back to pull request #4176

merge queue: embarking devel (0bfb324) and #4172 together #7233

Sign in to view logs

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

Triggered via pull request October 10, 2023 05:59

opened #4176

mergify/merge-queue/9b4847fae1

Status Success

Total duration 2m 45s

Artifacts –

lint-extras.yaml

on: pull_request