Skip to content
Presubmit

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

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

Triggered via push April 3, 2024 00:31
@bashbaugbashbaug
pushed 5fea8a8
deploy
Status Success
Total duration 4m 53s
Artifacts 1

presubmit.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
6.43 MB