Zariski coverage on CommRing^op #2283

Sign in to view logs

Summary
Jobs
- test-cubical
Run details
- Usage
- Workflow file

Triggered via pull request November 27, 2023 15:48

MatthiasHu

opened #1081

MatthiasHu:Zariski-coverage-on-CRing

Status Failure

Total duration 3m 20s

Artifacts –

ci-ubuntu.yml

on: pull_request

Annotations

1 error

test-cubical

Process completed with exit code 2.