Skip to content
Presubmit

DO NOT MERGE: updated GitHub actions for github pages deployment #36

Sign in to view logs

DO NOT MERGE: updated GitHub actions for github pages deployment

DO NOT MERGE: updated GitHub actions for github pages deployment #36

Triggered via push April 2, 2024 15:13
@bashbaugbashbaug
pushed a5aa023
deploy
Status Success
Total duration 5m 13s
Artifacts 1

presubmit.yml

on: push
Build all specs
4m 58s
Build all specs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
6.4 MB