Merge pull request #438 from agda/bump-stdlib-bound #467

Sign in to view logs

Triggered via push October 21, 2024 12:49

master

Status Success

Total duration 41m 47s

Artifacts –

ci-ubuntu.yml

on: push

test-categories