Skip to content
Deploy mdBook site to Pages

Merge branch 'master' of github.com:Lean-zh/mp-lean-zh #3

Sign in to view logs

Merge branch 'master' of github.com:Lean-zh/mp-lean-zh

Merge branch 'master' of github.com:Lean-zh/mp-lean-zh #3

Triggered via push September 23, 2024 13:35
@subfish-zhousubfish-zhou
pushed 49f3ab2
master
Status Success
Total duration 2m 7s
Artifacts 1

mdbook.yml

on: push
build
1m 34s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.15 MB