From ad6b907ad24a5726ee4140798d06002271fcc791 Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Fri, 15 Nov 2024 11:12:01 +0100 Subject: [PATCH] Making sure dependencies are always checked --- .github/workflows/base-jobs.yml | 2 +- pom.xml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/base-jobs.yml b/.github/workflows/base-jobs.yml index efb75084e..d63c6a185 100644 --- a/.github/workflows/base-jobs.yml +++ b/.github/workflows/base-jobs.yml @@ -37,7 +37,7 @@ jobs: # Copy docs from dependent projects, run tutor on local courses folder and copy results into docs and static/assets - name: Run rascal-tutor and reuse libraries - run: MAVEN_OPTIONS="-Xss256m -Xmx3G" mvn -B clean package -Dwebdriver.chrome.driver=/usr/local/bin/chromedriver -Dwebdriver.chrome.browser=`which chrome` | grep -v "\[INFO\] Downloading" + run: MAVEN_OPTIONS="-Xss256m -Xmx3G" mvn -U -B clean package -Dwebdriver.chrome.driver=/usr/local/bin/chromedriver -Dwebdriver.chrome.browser=`which chrome` | grep -v "\[INFO\] Downloading" - uses: actions/upload-artifact@v4 with: diff --git a/pom.xml b/pom.xml index 5e3a0b85c..39c90d969 100644 --- a/pom.xml +++ b/pom.xml @@ -27,7 +27,7 @@ 0.28.9 0.40.17 0.19.9 - 0.13.0 + 0.13.1 0.1.15 0.2.8 0.14.8 @@ -43,7 +43,7 @@ maven-clean-plugin - 3.2.0 + 3.4.0