Skip to content

Merge branch 'main' into fall-2025 #715

Merge branch 'main' into fall-2025

Merge branch 'main' into fall-2025 #715

Triggered via push November 2, 2025 15:45
Status Success
Total duration 4m 32s
Artifacts 2

push.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
7.03 MB
sha256:78204ae8725a1ebea9f654d6c86bd939b60d612960550bd8aee0801e5648adde
site-static Expired
7.18 MB
sha256:b647343df26227c28eddced01b3ec4a8ec99219de44a9797828625ed7238ea8a