Skip to content
Lint GitHub Actions workflows

Merge branch 'main' into mv-proof-primitives-traits-2 #26

Sign in to view logs

Merge branch 'main' into mv-proof-primitives-traits-2

Merge branch 'main' into mv-proof-primitives-traits-2 #26

Triggered via push January 21, 2025 16:28
@lean-applelean-apple
pushed 9fbf31a
mv-proof-primitives-traits-2
Status Success
Total duration 12s
Artifacts –

lint-actions.yml

on: push
actionlint
4s
actionlint
Fit to window
Zoom out
Zoom in

Annotations

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