Skip to content

[Lean] ADC example with Rust spec#1999

Draft
abentkamp wants to merge 1 commit into
mainfrom
lean-rework-examples
Draft

[Lean] ADC example with Rust spec#1999
abentkamp wants to merge 1 commit into
mainfrom
lean-rework-examples

make adc work

9e6a595
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors and 1 warning
check-changelog
failed Apr 2, 2026 in 10s