Ubuntu build

Definition of `OrderedCommRing` #3005

Sign in to view logs

Triggered via pull request August 10, 2025 17:05

opened #1246

LorenzoMolena:ordered-commutative-rings

Status Success

Total duration 1m 19s

Artifacts –

ci-ubuntu.yml

on: pull_request