Skip to content
Continuous Integration

fix: preserve trailing whitespace after embedded example terms #47

Sign in to view logs

fix: preserve trailing whitespace after embedded example terms

fix: preserve trailing whitespace after embedded example terms #47

Annotations

1 warning

Build and test (leanprover/lean4:4.3.0)

Build and test (leanprover/lean4:4.3.0)
succeeded Mar 20, 2024 in 54s