Agda

build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) #738

Sign in to view logs

Triggered via pull request June 15, 2026 17:24

synchronize #221

claude/ecstatic-wright-OBEvx

Status Success

Total duration 12m 31s

Artifacts –

agda.yml

on: pull_request