Ubuntu build

Definition of `OrderedCommRing` #3015

Sign in to view logs

Triggered via pull request August 13, 2025 09:31

hexwell

synchronize #1246

LorenzoMolena:ordered-commutative-rings

Status Success

Total duration 1m 31s

Artifacts –

ci-ubuntu.yml

on: pull_request