Skip dpi.cc in lint | More use ssh config in CI

.github/scripts/build-vitis-driver.py

@@ -17,4 +17,5 @@ def build_vitis_driver():
                 run("make PLATFORM=vitis vitis")
 
 if __name__ == "__main__":
+    env.use_ssh_config = True
     execute(build_vitis_driver, hosts=["localhost"])

sim/make/cpp-lint.mk

@@ -18,6 +18,7 @@ clang_tidy_files := $(shell \
 		| grep -v generated-src \
 		| grep -v output \
 		| grep -v -F 'entry.cc' \
+		| grep -v -F 'dpi.cc' \
 )
 
 clang_tidy_flags :=\

sim/midas/src/main/cc/emul/dpi.cc

@@ -9,7 +9,7 @@
 #include <memory>
 
 #include <signal.h>
-#include <vpi_user.h> // NOLINT
+#include <vpi_user.h>
 
 #include "emul/mm.h"
 #include "emul/mmio.h"