Ubuntu build

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

Sign in to view logs

Triggered via pull request January 16, 2026 12:18

opened #2908

jamesmckinna:sum-algebra

Status Success

Total duration 43m 43s

Artifacts –

ci-ubuntu.yml

on: pull_request