Skip to content
Build Book

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow… #2281

Sign in to view logs

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow…

Use minimal GITHUB_TOKEN permissions for metrics and subtree workflow… #2281

Triggered via push March 5, 2026 14:08
@github-merge-queuegithub-merge-queue[bot]
pushed c69b9b9
main
Status Success
Total duration 7m 11s
Artifacts 1

book.yml

on: push
build
6m 54s
build
deploy
10s
deploy
https://model-checking.github.io/verify-rust-std/
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.92 MB
sha256:419dc525a5f366985fbca6b9d8d5f085a6bf2764f4e3ffa8462c57fad413de64