Skip to content

Merge branch 'nightly' #94

Merge branch 'nightly'

Merge branch 'nightly' #94

Annotations

2 warnings

build lean4-cli

succeeded Nov 5, 2024 in 17s