lint-extras

merge queue: embarking devel (017dddc) and #4350 together #7697

Sign in to view logs

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

Triggered via pull request January 3, 2024 19:15

opened #4356

mergify/merge-queue/5d915837ff

Status Success

Total duration 2m 46s

Artifacts –

lint-extras.yaml

on: pull_request