Ubuntu build

Merge pull request #409 from agda/dependabot/github_actions/actions/c… #394

Sign in to view logs

Triggered via push January 19, 2024 20:21

master

Status Success

Total duration 10m 28s

Artifacts –

ci-ubuntu.yml

on: push

test-categories