lint

merge queue: embarking main (117ce0d), #1020 and #1021 together #142

Sign in to view logs

Triggered via pull request December 15, 2025 07:02

opened #1023

mergify/merge-queue/bc3be644e0

Status Success

Total duration 27s

Artifacts –

lint.yml

on: pull_request