Ubuntu build

Merge pull request #455 from agda/adjoints-preserve-diagrams #510

Sign in to view logs

Triggered via push February 28, 2025 15:09

master

Status Success

Total duration 5m 32s

Artifacts –

ci-ubuntu.yml

on: push

test-categories