lint-extras

merge queue: embarking devel (abd4554) and #4289 together #7580

Sign in to view logs

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

Triggered via pull request November 28, 2023 10:44

opened #4290

mergify/merge-queue/1c3f06cfba

Status Success

Total duration 2m 22s

Artifacts –

lint-extras.yaml

on: pull_request