Ubuntu build

Merge pull request #501 from agda/dependabot/github_actions/actions/c… #621

Sign in to view logs

Triggered via push December 12, 2025 13:26

master

Status Success

Total duration 16m 36s

Artifacts –

ci-ubuntu.yml

on: push

test-categories