Skip to content
Presubmit

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

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

Triggered via push April 4, 2024 15:02
@bashbaugbashbaug
pushed 68e6989
deploy
Status Success
Total duration 5m 13s
Artifacts 1

presubmit.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
6.42 MB