remove npm?

model-checking · Jul 8, 2024 · 82b5c63 · 82b5c63
1 parent f0df76e
commit 82b5c63
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -111,6 +111,7 @@ jobs:
  curl -s https://bootstrap.pypa.io/pip/3.7/get-pip.py -o get-pip.py
  python3 get-pip.py --force-reinstall
  rm get-pip.py
+ apt-get remove npm
  apt-get install wget
  wget -qO- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.7/install.sh | bash
  export NVM_DIR="$HOME/.nvm"