Skip to content
Lean 4 CI

Run less CI by detecting modification #232

Sign in to view logs

Run less CI by detecting modification

Run less CI by detecting modification #232

Triggered via push October 23, 2024 08:30
@utensilutensil
pushed 6591643
main
Status Success
Total duration 46s
Artifacts –

lean4.yml

on: push
Matrix: Lean 4 Projects
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Lean 4 Projects (ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: dorny/paths-filter@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Lean 4 Projects (macos-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: dorny/paths-filter@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Lean 4 Projects (windows-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: dorny/paths-filter@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/