Check whitespace

Some lemmata for lists and non-empty lists #1739

Sign in to view logs

Re-run triggered June 16, 2025 20:13

#2730

pmbittner:non-empty-list

Status Success

Total duration 11s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace