Commit TLA+ tools and CommunityModules snapshots to increment extensi…

…on's version number. [Build]
tlaplus · Oct 18, 2022 · aa94ba2 · aa94ba2
1 parent a5a4ff2
commit aa94ba2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release-nightly.yml b/.github/workflows/release-nightly.yml
@@ -37,6 +37,8 @@ jobs:
       run: wget https://github.com/tlaplus/CommunityModules/releases/latest/download/CommunityModules-deps.jar -O tools/CommunityModules-deps.jar
     - name: Prepare nightly
       run: |
+        git add tools/*.jar -f
+        git commit -m "Snapshot latest CommunityModules and TLA+ tools"
         .github/workflows/nightly.sh
         git diff package.json
     - name: Get current version