Revert "show name"

This reverts commit 8144c54.
hpi-schul-cloud · Apr 16, 2024 · 7873dae · 7873dae
1 parent 8144c54
commit 7873dae
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts/ci/fetch.github.sh b/scripts/ci/fetch.github.sh
@@ -22,7 +22,6 @@
 set -e
 
 # install dependencies
-sudo cat /proc/cpuinfo  | grep 'name'| uniq
 sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv B00A0BD1E2C63C11
 echo "deb [ arch=amd64,arm64 ] https://repo.mongodb.org/apt/ubuntu jammy/mongodb-org/5.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb.list
 sudo apt update