Ubuntu build

Merge pull request #457 from agda/indexed-coproduct #505

Sign in to view logs

Triggered via push February 26, 2025 17:56

master

Status Success

Total duration 5m 23s

Artifacts –

ci-ubuntu.yml

on: push

test-categories