Skip to content
Continuous Integration

fix: preserve trailing whitespace after embedded example terms #45

Sign in to view logs

fix: preserve trailing whitespace after embedded example terms

fix: preserve trailing whitespace after embedded example terms #45

Annotations

1 warning

Build and test (leanprover/lean4:4.5.0)

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