Skip to content
This repository was archived by the owner on Sep 23, 2025. It is now read-only.
Deploy mdBook site to Pages

change over to well-typed results #29

Sign in to view logs

change over to well-typed results

change over to well-typed results #29

Triggered via push August 22, 2025 03:26
@nikomatsakisnikomatsakis
pushed 82b378c
main
Status Success
Total duration 2m 23s
Artifacts 1

mdbook.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.65 MB
sha256:2c455108f9ae67f1a0e3047ca53b158ea78d5a48ef4c1244b29c9a52430b73e5