Ubuntu build

Merge pull request #460 from agda/when-limits-exist #517

Sign in to view logs

Triggered via push March 13, 2025 18:01

master

Status Success

Total duration 5m 59s

Artifacts –

ci-ubuntu.yml

on: push

test-categories