lint

merge queue: embarking main (679b2f3), #1016 and #1017 together #138

Sign in to view logs

Triggered via pull request December 8, 2025 07:02

opened #1019

mergify/merge-queue/a8cf18cdc0

Status Success

Total duration 25s

Artifacts –

lint.yml

on: pull_request