Skip to content
Agda

agda(arithmetic): Phase 1.3 ⊕-mono-<-right smoke pin + restore Brouwe… #281

Sign in to view logs

agda(arithmetic): Phase 1.3 ⊕-mono-<-right smoke pin + restore Brouwe…

agda(arithmetic): Phase 1.3 ⊕-mono-<-right smoke pin + restore Brouwe… #281

Triggered via push May 15, 2026 11:27
@hyperpolymathhyperpolymath
pushed b09bb4e
main
Status Success
Total duration 4m 57s
Artifacts –

agda.yml

on: push
check
4m 52s
check
Fit to window
Zoom out
Zoom in