Back to pull request #5146

merge queue: embarking devel (b9d6549) and #5136 together #9663

Sign in to view logs

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

Triggered via pull request February 13, 2025 18:48

opened #5146

mergify/merge-queue/2bdc517707

Status Success

Total duration 2m 21s

Artifacts –

lint-extras.yaml

on: pull_request