Skip to content
deploy site

update link to reference manual (#585) #3048

Sign in to view logs

update link to reference manual (#585)

update link to reference manual (#585) #3048

Triggered via push February 4, 2025 13:58
@jcommelinjcommelin
pushed 7ed5625
lean4
Status Success
Total duration 7m 10s
Artifacts –

build.yml

on: push
Build HTML
7m 1s
Build HTML
Fit to window
Zoom out
Zoom in