Skip to content
CI

Bump Lean version to v4.24.0. #308

Sign in to view logs

Bump Lean version to v4.24.0.

Bump Lean version to v4.24.0. #308

Triggered via push October 28, 2025 08:32
@abdoo8080abdoo8080
pushed c7ac99b
no-mathlib
Status Failure
Total duration 6m 18s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 5 warnings
Linux-aarch64
Process completed with exit code 4.
Windows-x86_64
The strategy configuration was canceled because "build.Linux-aarch64_ubuntu-22_0" failed
Windows-x86_64
The operation was canceled.
Linux-x86_64
The strategy configuration was canceled because "build.Linux-aarch64_ubuntu-22_0" failed
Linux-x86_64
The operation was canceled.
macOS-aarch64
The strategy configuration was canceled because "build.Linux-aarch64_ubuntu-22_0" failed
macOS-aarch64
The operation was canceled.
macOS-x86_64
The strategy configuration was canceled because "build.Linux-aarch64_ubuntu-22_0" failed
macOS-x86_64
The operation was canceled.
Linux-aarch64
Cache save failed.
Windows-x86_64
Cache save failed.
Linux-x86_64
Cache save failed.
macOS-aarch64
Cache save failed.
macOS-x86_64
Cache save failed.