search

opencompl / lean-mlir

A minimal development of SSA theory
Other
88 stars 10 forks source link

chore: update mathlib #680

Closed luisacicolini closed 3 weeks ago

github-actions[bot] commented 4 weeks ago

Alive Statistics: 76 / 93 (17 failed)

luisacicolini commented 4 weeks ago

I am having some local issues with the mathlib update and wanted to check what ci says about it, would like to investigate more before merging to make sure everything is correct

github-actions[bot] commented 3 weeks ago

Alive Statistics: 76 / 93 (17 failed)