Skip to content
docs

update mathlib and lean #29

Sign in to view logs

update mathlib and lean

update mathlib and lean #29

Triggered via push September 12, 2023 09:31
@ChrisHughes24ChrisHughes24
pushed 5658813
main
Status Success
Total duration 5m 41s
Artifacts –

doc.yml

on: push
build and deploy documentation.
5m 30s
build and deploy documentation.
Fit to window
Zoom out
Zoom in