Ubuntu build

Merge pull request #425 from agda/dependabot/github_actions/JamesIves… #445

Sign in to view logs

Triggered via push July 8, 2024 09:02

master

Status Success

Total duration 2m 11s

Artifacts –

ci-ubuntu.yml

on: push

test-categories