Ubuntu build

add Pushout Colimit proofs #610

Sign in to view logs

Re-run triggered November 17, 2025 22:36

#494

zlqrvx:pushout-colimit

Status Success

Total duration 17m 57s

Artifacts –

ci-ubuntu.yml

on: pull_request

test-categories