Ubuntu build

Instances for `Pseudolattice` and `OrderedCommRing` #3056

Sign in to view logs

Triggered via pull request October 25, 2025 16:52

synchronize #1268

LorenzoMolena:ocr+pl-instances

Status Success

Total duration 24m 27s

Artifacts –

ci-ubuntu.yml

on: pull_request