Skip to content
opam

circle as infinity groupoid #1080

Sign in to view logs

circle as infinity groupoid

circle as infinity groupoid #1080

Triggered via push February 22, 2025 04:41
@5HT5HT
pushed 8f77a07
main
Status Success
Total duration 4m 54s
Artifacts –

main.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in