Fix

Signed-off-by: zhenwei pi <[email protected]>
pizhenwei · Jul 5, 2024 · 6eda5f3 · 6eda5f3
1 parent ca37a55
commit 6eda5f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,7 @@ jobs:
           make -C rxe rxe
           sudo modprobe rdma_cm udp_tunnel ip6_udp_tunnel ib_uverbs
           sudo lsmod
-          sudo insmod -f ./rxe/rdma_rxe.ko; ls
+          sudo insmod -f ./rxe/rdma_rxe.ko || ls
           sudo dmesg
           sudo rdma link add rxe0 type rxe netdev `ip a | grep -E "^2: " | tr ":" " " | awk '{print $2}'`
           ls /sys/class/infiniband