Check whitespace

[ refactor ] make `Relation.Binary.Morphism.Definitions` obsolete #2472

Sign in to view logs

Triggered via pull request March 4, 2026 17:20

synchronize #2922

jamesmckinna:issue2875ptI

Status Success

Total duration 10s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace