Agda

ci(hypatia): fix unresolvable upload-artifact SHA (v4 -> ea165f8d) #236

Sign in to view logs

Triggered via push May 1, 2026 06:08

chore/rsr-floor-scaffold

Status Success

Total duration 3m 13s

Artifacts –

agda.yml

on: push