Skip to content
Deploy Demos to GitHub Pages

delete unused (old) lecture files #212

Sign in to view logs

delete unused (old) lecture files

delete unused (old) lecture files #212

Triggered via push February 8, 2026 15:46
@jeremymanningjeremymanning
pushed 124c8ba
main
Status Success
Total duration 1m 16s
Artifacts 1

deploy-demos.yml

on: push
build
39s
build
deploy
23s
deploy
verify
4s
verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
372 MB
sha256:77a8d069e833c033cc198973dbed34beec8ac923edfc3b963a0ee91b5e9e8e35