Ubuntu build

Release for Agda 2.8.0 (#1222) #2985

Sign in to view logs

Triggered via push July 30, 2025 14:24

felixwellen

master

Status Failure

Total duration 38m 35s

Artifacts –

ci-ubuntu.yml

on: push

Annotations

1 error

test-cubical

Process completed with exit code 2.