Override tla2tools.jar and CommunityModules-deps.jar with their most …

…recent nightly in this nightly build [Build]
tlaplus · Oct 14, 2022 · a5a4ff2 · a5a4ff2
1 parent f83a071
commit a5a4ff2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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