Skip to content
Deploy odoc

wip: try to automatically create type equalities #137

Sign in to view logs

wip: try to automatically create type equalities

wip: try to automatically create type equalities #137

Triggered via push August 3, 2024 21:30
@just-maxjust-max
pushed bb64317
sig-builder-auto-eq
Status Success
Total duration 5m 58s
Artifacts –

odoc.yml

on: push
deploy-doc
5m 50s
deploy-doc
Fit to window
Zoom out
Zoom in