Ubuntu build

add Pushout Colimit proofs #600

Sign in to view logs

Re-run triggered November 14, 2025 20:07

andreasabel

#494

zlqrvx:pushout-colimit

Status Failure

Total duration 20s

Artifacts –

ci-ubuntu.yml

on: pull_request

test-categories

Annotations

1 error

test-categories

Process completed with exit code 42.