Ubuntu build

[Import] `Relation.Binary.Indexed ... .Lattice` (#2648) #4466

Sign in to view logs

Triggered via push March 12, 2025 15:30

github-merge-queue[bot]

master

Status Success

Total duration 41m 59s

Artifacts –

ci-ubuntu.yml

on: push