Skip to content
Make JSON of tutorial registry

Make JSON of tutorial registry #1233

Sign in to view logs

Make JSON of tutorial registry

Make JSON of tutorial registry #1233

Triggered via schedule December 31, 2025 03:17
@flying-sheepflying-sheep
⁠ c12618d
main
Status Success
Total duration 21s
Artifacts 1

make-tutorials-json.yml

on: schedule
mkjson
17s
mkjson
deploy
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.82 MB
sha256:b91f40418001020535937fee1819218318f47212d9434c26bc221f9d695cc53e