Ubuntu build

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

Sign in to view logs

Triggered via pull request March 4, 2026 17:20

synchronize #2922

jamesmckinna:issue2875ptI

Status Success

Total duration 43m 35s

Artifacts –

ci-ubuntu.yml

on: pull_request