Agda

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

Sign in to view logs

Triggered via push May 1, 2026 06:16

chore/rsr-floor-scaffold

Status Success

Total duration 3m 7s

Artifacts –

agda.yml

on: push