Skip to content

Add SciXp to CI

Add SciXp to CI #235

Triggered via push October 23, 2024 13:51
Status Failure
Total duration 47m 34s
Artifacts

lean4.yml

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

Annotations

3 errors and 2 warnings
Lean 4 Projects (windows-latest)
lake build failed
Lean 4 Projects (windows-latest)
Process completed with exit code 1.
Lean 4 Projects (ubuntu-latest)
The hosted runner: GitHub Actions 8 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
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/