Ubuntu build

Intervals in posets and the covering relation (#1219) #2988

Sign in to view logs

Triggered via push August 1, 2025 09:06

mortberg

master

Status Success

Total duration 21m 49s

Artifacts –

ci-ubuntu.yml

on: push