Ubuntu build

[Import] `Relation.Binary.Morphism`...`Relation.Binary.Properties` #4395

Sign in to view logs

Triggered via pull request March 6, 2025 21:28

jmougeot

opened #2649

jmougeot:import44

Status Success

Total duration 38m 0s

Artifacts –

ci-ubuntu.yml

on: pull_request