Skip to content
GitHub Actions Security Analysis with zizmor 🌈

Re-add the Lean tree-sitter install info to play around again. #52

Sign in to view logs

Re-add the Lean tree-sitter install info to play around again.

Re-add the Lean tree-sitter install info to play around again. #52

Triggered via push January 17, 2025 15:47
@JulianJulian
pushed 1968c4e
main
Status Success
Total duration 2m 59s
Artifacts –

zizmor.yml

on: push
zizmor
2m 51s
zizmor
Fit to window
Zoom out
Zoom in

Annotations

1 warning
zizmor
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636