Skip to content
Deploy mdBook site to Pages

Update default tool label for execute bash (#2945) #839

Sign in to view logs

Update default tool label for execute bash (#2945)

Update default tool label for execute bash (#2945) #839

Triggered via push September 19, 2025 18:53
@mr-leemr-lee
pushed c031c33
main
Status Success
Total duration 2m 14s
Artifacts –

mdbook.yml

on: push
build
1m 54s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in