The Nightly Dev Build job failed on Tuesday (2024-05-28)

[github-actions]

The Nightly Dev Build job failed on Tuesday (2024-05-28) in run 9278934563

[jdblischak]

The error on Tuesday night happened during installation. From a quick skim of the log, I think there was a problem building libtiledb.

In file included from RcppExports.cpp:4:
../inst/include/tiledb.h:8:10: fatal error: tiledb/tiledb: No such file or directory
    8 | #include <tiledb/tiledb>
      |          ^~~~~~~~~~~~~~~
compilation terminated.
make: *** [/usr/lib/R/etc/Makeconf:204: RcppExports.o] Error 1
ERROR: compilation failed for package ‘tiledb’
* removing ‘/usr/local/lib/R/site-library/tiledb’

However, the nightly build passed last night, so I think this Issue can be closed

[eddelbuettel]

Yes that was a side effect of #711 which has been fixed by #713.