Skip to content
Build and profile and CoqDoc

Update build-and-profile.yml #4

Sign in to view logs

Update build-and-profile.yml

Update build-and-profile.yml #4

Triggered via push January 21, 2024 16:46
@h0nzZikh0nzZik
pushed bcaea52
main
Status Failure
Total duration 3m 54s
Artifacts –

build-and-profile.yml

on: push
build
3m 34s
build
deploy
3s
deploy
Fit to window
Zoom out
Zoom in

Annotations

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