check-whitespace

revision: use priority queue for streaming walks #5953

Sign in to view logs

Triggered via pull request May 27, 2026 14:40

spkrka

opened #2127

spkrka:streaming-prio-queue

Status Success

Total duration 2m 49s

Artifacts –

check-whitespace.yml

on: pull_request

check-whitespace