Ubuntu build

[Import] `Relation.Binary.Indexed ... .Lattice` #4394

Sign in to view logs

Triggered via pull request March 6, 2025 17:13

jmougeot

opened #2648

jmougeot:import43

Status Success

Total duration 39m 11s

Artifacts –

ci-ubuntu.yml

on: pull_request