Skip to content
github pages

Make pages numbered #12

Sign in to view logs

Make pages numbered

Make pages numbered #12

Triggered via push January 5, 2024 15:55
@YuriyDurovYuriyDurov
pushed 6d8c733
mdbook
Status Success
Total duration 18s
Artifacts 1

mdbook.yml

on: push
deploy
9s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.25 MB