Merge pull request #388 from agda/dependabot/github_actions/actions/c… #312

Sign in to view logs

Triggered via push August 8, 2023 15:57

master

Status Success

Total duration 53m 45s

Artifacts –

ci-ubuntu.yml

on: push

test-categories