From a5a4ff2afc0ebab8139a9e0a4ea6a009de75de32 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Fri, 14 Oct 2022 11:39:31 -0700 Subject: [PATCH] Override tla2tools.jar and CommunityModules-deps.jar with their most recent nightly in this nightly build [Build] --- .github/workflows/release-nightly.yml | 4 ++++ 1 file changed, 4 insertions(+) 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