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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 53s
1m 53s