Skip to content
Build and Deploy

Fixed makefile noise so removed workaround. #701

Sign in to view logs

Fixed makefile noise so removed workaround.

Fixed makefile noise so removed workaround. #701

Triggered via push October 29, 2025 01:09
@dvanhorndvanhorn
pushed 93901d4
fall-2025
Status Success
Total duration 4m 48s
Artifacts 2

push.yml

on: push
build
4m 43s
build
deploy-github-pages
0s
deploy-github-pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
3.23 MB
sha256:de5ceb2cbe76cc4a487752f7c3f9d30ba75fbb518a49797327089903ba8706fe
site-static Expired
3.36 MB
sha256:579219f286c507f808a91ed47cf8e55c4f18b306d7097a672f672257ab8b6610