Check whitespace

De Morgan's laws for Pred (#2832) #2299

Sign in to view logs

Triggered via push January 22, 2026 12:46

github-merge-queue[bot]

master

Status Success

Total duration 9s

Artifacts –

whitespace.yml

on: push

check-whitespace