CI updates

2024-04-10 10:52:48 +02:00
parent 91f5fe1c0e
commit 90a7faa15e
18 changed files with 134 additions and 93 deletions
@@ -143,7 +143,7 @@ void printWarn(const char *iname, const char *format, ...) noexcept {
 }

 void printUnhandledException(const char *iname, const std::exception *e) noexcept {
-    if (e)
+    if (e != nullptr)
        printErr(iname, "unhandled exception: %s\n", prettyName(e->what()));
    else
        printErr(iname, "internal error: unhandled exception!\n");