Ubuntu build

Merge pull request #480 from Reijix/2-copycats-kleislisymmetric #565

Sign in to view logs

Triggered via push July 7, 2025 18:31

master

Status Success

Total duration 13m 15s

Artifacts –

ci-ubuntu.yml

on: push

test-categories

Annotations

1 warning

test-categories

Agda libraries file already contains a copy of standard-library