Agda

ci(hypatia): fix Build Hypatia step working-directory (env.HOME -> sh… #245

Sign in to view logs

Triggered via push May 1, 2026 06:18

chore/rsr-floor-scaffold

Status Success

Total duration 4m 6s

Artifacts –

agda.yml

on: push