Skip to content
Presubmit

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

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 #39

Triggered via push April 2, 2024 15:28
@bashbaugbashbaug
pushed 03811cd
deploy
Status Success
Total duration 5m 37s
Artifacts 1

presubmit.yml

on: push
Build all specs
5m 24s
Build all specs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
6.41 MB