Ubuntu build

Merge pull request #459 from agda/indexed-products-more-implicits #513

Sign in to view logs

Triggered via push March 3, 2025 12:39

master

Status Success

Total duration 5m 29s

Artifacts –

ci-ubuntu.yml

on: push

test-categories