Ubuntu build

Merge pull request #442 from agda/dependabot/github_actions/JamesIves… #474

Sign in to view logs

Triggered via push November 29, 2024 19:04

master

Status Success

Total duration 39m 59s

Artifacts –

ci-ubuntu.yml

on: push

test-categories