Ubuntu build

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

Sign in to view logs

Triggered via pull request January 24, 2026 19:07

opened #2922

jamesmckinna:issue2875ptI

Status Success

Total duration 40m 36s

Artifacts –

ci-ubuntu.yml

on: pull_request