Ubuntu build

Merge pull request #452 from agda/limits-refactor #498

Sign in to view logs

Triggered via push February 22, 2025 21:04

master

Status Success

Total duration 3m 36s

Artifacts –

ci-ubuntu.yml

on: push

test-categories