Skip to content
Back to pull request #568

Cases for datetime types in extExprToValue #1432

Sign in to view logs

Cases for datetime types in extExprToValue

Cases for datetime types in extExprToValue #1432

Build and test Lean (stable)

Build and test Lean (stable)
succeeded Mar 5, 2025 in 5m 36s