use recommended steps

model-checking · Jul 8, 2024 · f0df76e · f0df76e
1 parent d90ded7
commit f0df76e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -113,7 +113,8 @@ jobs:
  rm get-pip.py
  apt-get install wget
  wget -qO- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.7/install.sh | bash
- source ~/.bashrc
+ export NVM_DIR="$HOME/.nvm"
+ [ -s "$NVM_DIR/nvm.sh" ] && \. "$NVM_DIR/nvm.sh" # This loads nvm
  nvm install 16
 
  - name: Checkout Kani