Skip to content
Docker

adding pullback stability (#2) #14

Sign in to view logs

adding pullback stability (#2)

adding pullback stability (#2) #14

Triggered via push October 8, 2024 16:08
@PHart3PHart3
pushed 53ef7b0
main
Status Success
Total duration 57m 20s
Artifacts –

agda.yml

on: push
build
57m 11s
build
Fit to window
Zoom out
Zoom in