Agda

ci: SessionStart hook to auto-provision Agda toolchain on the web #742

Sign in to view logs

Triggered via pull request June 15, 2026 17:35

opened #223

claude/ecstatic-wright-OBEvx

Status Success

Total duration 12m 14s

Artifacts –

agda.yml

on: pull_request