Skip to content

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

DO NOT MERGE: updated GitHub actions for github pages deployment

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

Triggered via push April 2, 2024 15:55
Status Success
Total duration 4m 24s
Artifacts 1

presubmit.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
6.41 MB