Ubuntu build

Merge pull request #497 from agda/traces-are-natural #615

Sign in to view logs

Triggered via push November 21, 2025 13:57

master

Status Success

Total duration 16m 15s

Artifacts –

ci-ubuntu.yml

on: push

test-categories