Skip to content
Lean 4 CI

Add VersoXp, use lakefile.toml and reservoir require for the first time #233

Sign in to view logs

Add VersoXp, use lakefile.toml and reservoir require for the first time

Add VersoXp, use lakefile.toml and reservoir require for the first time #233

Triggered via push October 23, 2024 09:32
@utensilutensil
pushed 979a57b
main
Status Success
Total duration 11m 8s
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/