Lints

Speed up CI #3002

Sign in to view logs

Triggered via pull request December 13, 2024 08:56

matthiasgoergens

synchronize #752

matthias/send-lints-to-github

Status Cancelled

Total duration 43s

Artifacts –

lints.yml

on: pull_request

Annotations

2 errors

Various lints

Canceling since a higher priority waiting request for 'Lints-refs/pull/752/merge' exists

Various lints

The operation was canceled.