Ubuntu build

A series of equality lemmas for SetQuotient #3028

Sign in to view logs

Re-run triggered September 29, 2025 17:25

maxsnew

#1259

master

Status Failure

Total duration 2m 20s

Artifacts –

ci-ubuntu.yml

on: pull_request

Annotations

1 error

test-cubical

Process completed with exit code 1.