Ubuntu build

Merge pull request #456 from agda/lift-equivalence #509

Sign in to view logs

Triggered via push February 28, 2025 15:02

master

Status Success

Total duration 5m 19s

Artifacts –

ci-ubuntu.yml

on: push

test-categories