Check whitespace

[ refactor ] remove redundant `private` lemma in `Data.Sum.Algebra` #2294

Sign in to view logs

Triggered via pull request January 16, 2026 12:18

opened #2908

jamesmckinna:sum-algebra

Status Success

Total duration 9s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace