[Fix] Fix lint resource usage & Fix Docs (#3032)

* fix

* remove nvidiasmi

* fix

* fix docs

* fix

* fix

benchmarks/benchmarks/utils.py

@@ -506,7 +506,7 @@ def skip_if_not_4gpu():
     def _wrapper(func):
         if GPU_COUNT != 4:
             # skip if not enabled
-            print("Skip {}".format(func.benchmark_name))
+            print("Skip {}".format(func.__name__))
             func.benchmark_name = "skip_" + func.__name__
         return func
     return _wrapper

benchmarks/run.sh

@@ -12,8 +12,6 @@ pip install --upgrade pip
 pip install asv
 pip uninstall -y dgl
 
-nvidia-smi
-
 export DGL_BENCH_DEVICE=$DEVICE
 echo "DGL_BENCH_DEVICE=$DGL_BENCH_DEVICE"
 pushd $ROOT/benchmarks

docker/pods/ci-lint.yaml

@@ -10,5 +10,5 @@ spec:
     tty: true
     resources:
       requests:
-        cpu: 4
+        cpu: 1
   serviceAccountName: dglciuser
\ No newline at end of file