Ubuntu build

Bicat of bimods #575

Sign in to view logs

Triggered via pull request August 1, 2025 17:32

tillrampe

synchronize #482

tillrampe:bicat-of-bimods

Status Success

Total duration 15m 18s

Artifacts –

ci-ubuntu.yml

on: pull_request

test-categories

Annotations

1 warning

test-categories

Agda libraries file already contains a copy of standard-library