diff --git a/.github/workflows/release-nightly.yml b/.github/workflows/release-nightly.yml
index 72841b5e..a5b587c6 100644
--- a/.github/workflows/release-nightly.yml
+++ b/.github/workflows/release-nightly.yml
@@ -31,6 +31,10 @@ jobs:
     - uses: actions/setup-node@v1
       with:
         node-version: '14.17'
+    - name: Get (nightly) TLC
+      run: wget https://nightly.tlapl.us/dist/tla2tools.jar -O tools/tla2tools.jar
+    - name: Get (nightly) CommunityModules
+      run: wget https://github.com/tlaplus/CommunityModules/releases/latest/download/CommunityModules-deps.jar -O tools/CommunityModules-deps.jar
     - name: Prepare nightly
       run: |
         .github/workflows/nightly.sh