Ubuntu build

Merge pull request #421 from agda/sets-other-equality #429

Sign in to view logs

Triggered via push June 3, 2024 11:59

master

Status Success

Total duration 1m 49s

Artifacts –

ci-ubuntu.yml

on: push

test-categories