The nightly GitHub Actions build job failed on Tuesday (2023-12-26) about tiledb HOT 4 CLOSED

1: -------------------------------------------------------------------------------
1: Ordered dimension label reader: var labels, lots of fragment, decreasing
1: -------------------------------------------------------------------------------
1: /Users/runner/work/TileDB/TileDB/test/src/unit-ordered-dim-label-reader.cc:931
1: ...............................................................................
1: 
1: /Users/runner/work/TileDB/TileDB/test/src/unit-ordered-dim-label-reader.cc:933: FAILED:
1:   {Unknown expression after the reported line}
1: due to unexpected exception with message:
1:   OrderedDimLabelReader: Cannot read dim label; Dimension label is empty