Skip to content

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

DO NOT MERGE: updated GitHub actions for github pages deployment

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

Triggered via push March 26, 2024 21:12
Status Failure
Total duration 4m 16s
Artifacts

presubmit.yml

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

Annotations

1 error and 1 warning
Build all specs
Ensure GITHUB_TOKEN has permission "id-token: write".
Build all specs
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.