diff --git a/.github/workflows/release-nightly.yml b/.github/workflows/release-nightly.yml index a5b587c..6c84387 100644 --- 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