Skip to content
Agda

Document WF status and pin ψ≤Ω bridge names #92

Sign in to view logs

Document WF status and pin ψ≤Ω bridge names

Document WF status and pin ψ≤Ω bridge names #92

Triggered via push April 22, 2026 23:10
@hyperpolymathhyperpolymath
pushed 9a3ba46
main
Status Success
Total duration 1m 57s
Artifacts –

agda.yml

on: push
check
1m 53s
check
Fit to window
Zoom out
Zoom in