Check whitespace

refactor: remove redundant `private` lemma (#2908) #2307

Sign in to view logs

Triggered via push January 23, 2026 09:40

github-merge-queue[bot]

master

Status Success

Total duration 8s

Artifacts –

whitespace.yml

on: push

check-whitespace