2025-10-31 lean nightly update #3779
tobiasgrosserevaluation.yml
on: pull_request
Build Lean-MLIR
32m 41s
Test Blase
0s
Evaluate LLVM
0s
Test tools, scaling, and auto-generated statements
0s
Test Core Library
0s
Evaluation Alive and Hacker's Delight
0s
Matrix: Extract goals
Annotations
1 error
|
Build Lean-MLIR
Process completed with exit code 1.
|