Skip to content
CI

update Lean version and replace std to batteries #24

Sign in to view logs

update Lean version and replace std to batteries

update Lean version and replace std to batteries #24

Annotations

1 warning

build

build
succeeded Dec 22, 2024 in 2m 40s