Skip to content

chore: revert "add dev console logging (#784)" - #793

Merged
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-vpmvryrymnuy
Jul 29, 2026
Merged

chore: revert "add dev console logging (#784)"#793
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-vpmvryrymnuy

chore: revert add dev console logging (#784)

692cd75
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-and-test-linux
succeeded Jul 29, 2026 in 3m 28s