Ubuntu build

Intervals in posets and the covering relation #2974

Sign in to view logs

Triggered via pull request July 25, 2025 14:25

anshwad10

synchronize #1219

anshwad10:oriented-graded-posets

Status Success

Total duration 29m 20s

Artifacts –

ci-ubuntu.yml

on: pull_request