Skip to content
ci

fix #132

Sign in to view logs

fix

fix #132

Triggered via push October 11, 2023 22:47
@eric-wiesereric-wieser
pushed 600b4f5
lean4
Status Failure
Total duration 2m 39s
Artifacts 1

lean_build.yml

on: push
Build
2m 27s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Ensure GITHUB_TOKEN has permission "id-token: write".

Artifacts

Produced during runtime
Name Size
github-pages Expired
80 KB