Ubuntu build

Update Powerset.agda #2693

Sign in to view logs

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

Re-run triggered November 28, 2024 09:36

felixwellen

#1171

anshwad10:patch-1

Status Failure

Total duration 3m 9s

Artifacts –

ci-ubuntu.yml

on: pull_request

Annotations

1 error

test-cubical

Process completed with exit code 2.