The nightly build job failed on Friday (2023-10-20)

[github-actions]

The nightly build job failed on Friday (2023-10-20) in run 6594606810

[DimitrisStaratzis]

This is a known issue in core. We expect a fix on Monday by Luc.

[github-actions]

The nightly build job failed on Saturday (2023-10-21) in run 6601097912

[github-actions]

The nightly build job failed on Sunday (2023-10-22) in run 6607861467

[github-actions]

The nightly build job failed on Monday (2023-10-23) in run 6607861467

[github-actions]

The nightly build job failed on Monday (2023-10-23) in run 6621439279

[github-actions]

The nightly build job failed on Tuesday (2023-10-24) in run 6634860856

[KiterLuc]

This should be fixed with TileDB-Inc/TileDB#4456. I'm not sure how I can kick off a new nightly build with this branch to validate?

[DimitrisStaratzis]

I kicked it off from actions > nightly > rerun all jobs. Nightly runs use Dev so your fix will be included.

Here is the link for the new run:
https://github.com/TileDB-Inc/TileDB-MariaDB/actions/runs/6634860856

[KiterLuc]

Rerun passed.

[DimitrisStaratzis]

Rerun passed.

Yes, thank you!