Skip to content

Merge remote-tracking branch 'origin/main' into testing

44a5fb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

test: add tests for several Lean versions #7

Merge remote-tracking branch 'origin/main' into testing
44a5fb5
Select commit
Loading
Failed to load commit list.
build
succeeded Nov 5, 2025 in 30s