Ubuntu build

[imports] `Algebra.Lattice.Bundles` .. `Algebra.Module.Construct.*` (… #4413

Sign in to view logs

Triggered via push March 7, 2025 14:19

github-merge-queue[bot]

master

Status Success

Total duration 38m 37s

Artifacts –

ci-ubuntu.yml

on: push