Merge pull request #420 from agda/dagger-functors #430

Sign in to view logs

Triggered via push June 3, 2024 12:15

master

Status Success

Total duration 15m 23s

Artifacts –

ci-ubuntu.yml

on: push

test-categories