Ubuntu build

Define the category of posets (#1232) #2968

Sign in to view logs

Triggered via push July 25, 2025 11:43

maxsnew

master

Status Success

Total duration 30m 5s

Artifacts –

ci-ubuntu.yml

on: push