Skip to content
Continuous Integration

fix: don't render all branches of choice nodes #49

Sign in to view logs

fix: don't render all branches of choice nodes

fix: don't render all branches of choice nodes #49

Build and test (leanprover/lean4:4.6.0)

Build and test (leanprover/lean4:4.6.0)
succeeded Mar 21, 2024 in 1m 9s