Skip to content
page-deploy-on-push

createSandbox adapted for diagrams, and fleshed out more of scenery b… #92

Sign in to view logs

createSandbox adapted for diagrams, and fleshed out more of scenery b…

createSandbox adapted for diagrams, and fleshed out more of scenery b… #92

deploy

deploy
succeeded Jan 28, 2025 in 7m 58s
Set up job
1s
Run actions/checkout@v4
2s
Configure Git Credentials
0s
Run actions/setup-python@v5
0s
Run echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
0s
Run actions/cache@v4
0s
Run pip install mkdocs-material=="9.5.44" mkdocs-minify-plugin mike
14s
Run mkdocs gh-deploy --force
7m 39s
Post Run actions/cache@v4
0s
Post Run actions/setup-python@v5
0s
Post Run actions/checkout@v4
0s
Complete job
0s