Ubuntu build

Definition of `OrderedCommRing` #3006

Sign in to view logs

Triggered via pull request August 10, 2025 19:04

hexwell

synchronize #1246

LorenzoMolena:ordered-commutative-rings

Status Success

Total duration 1m 15s

Artifacts –

ci-ubuntu.yml

on: pull_request