Ubuntu build

Merge pull request #450 from agda/dependabot/github_actions/JamesIves… #492

Sign in to view logs

Triggered via push February 20, 2025 21:54

master

Status Success

Total duration 40m 9s

Artifacts –

ci-ubuntu.yml

on: push

test-categories