lint-extras

merge queue: embarking devel (ca19bb7) and #5171 together #9739

Sign in to view logs

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

Triggered via pull request February 25, 2025 16:34

opened #5178

mergify/merge-queue/bedddf2b26

Status Success

Total duration 2m 20s

Artifacts –

lint-extras.yaml

on: pull_request