Skip to content

Core-models compatibility tool#20

Draft
maximebuyse wants to merge 2 commits into
mainfrom
aeneas-compat-tool
Draft

Core-models compatibility tool#20
maximebuyse wants to merge 2 commits into
mainfrom
aeneas-compat-tool

aeneas-compat at the lean level.

c463443
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
cargo fmt
succeeded Jun 18, 2026 in 13s