chore: update to nightly-2024-09-03

opencompl / lean-mlir

A minimal development of SSA theory

Other

88 stars 10 forks source link

Closed tobiasgrosser closed 1 month ago

tobiasgrosser commented 1 month ago

This also re-enabled doc-gen, as it has become compatible with the latest lean version again.

github-actions[bot] commented 1 month ago

Alive Statistics: 67 / 93 (26 failed)