Skip to content
Agda

fix(ci): estate-wide foundational remediation #884

Sign in to view logs

fix(ci): estate-wide foundational remediation

fix(ci): estate-wide foundational remediation #884

Triggered via pull request July 23, 2026 21:27
@hyperpolymathhyperpolymath
synchronize #296
fix-ci-estate
Status Success
Total duration 43m 44s
Artifacts –

agda.yml

on: pull_request
check
1m 50s
check
cold-check
11m 33s
cold-check
Fit to window
Zoom out
Zoom in