try again

model-checking · Jul 8, 2024 · d90ded7 · d90ded7
1 parent ccf64cd
commit d90ded7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -113,6 +113,7 @@ 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
  nvm install 16
 
  - name: Checkout Kani