diff --git a/.github/workflows/pr_info_untrusted.yml b/.github/workflows/pr_info_untrusted.yml index 59a63d0..f5a7108 100644 --- a/.github/workflows/pr_info_untrusted.yml +++ b/.github/workflows/pr_info_untrusted.yml @@ -11,7 +11,7 @@ on: jobs: pr_info: name: PR Info - runs-on: ubuntu-20.04 + runs-on: ubuntu-latest steps: # we first create a comment thanking the user in pr_info_intro.yml # (separate step due to needing GITHUB_TOKEN access) diff --git a/ci/summary_comment.sh b/ci/summary_comment.sh index 2ee9591..43c2a6f 100755 --- a/ci/summary_comment.sh +++ b/ci/summary_comment.sh @@ -16,9 +16,11 @@ ldc2 --version # fetch missing packages before timing dub upgrade --missing-only +rm -rf .dub bin + start=`date +%s` -dub build --build=release --config=client 2>&1 || echo "DCD BUILD FAILED" -dub build --build=release --config=server 2>&1 || echo "DCD BUILD FAILED" +dub build --build=release --config=client --force 2>&1 || echo "DCD BUILD FAILED" +dub build --build=release --config=server --force 2>&1 || echo "DCD BUILD FAILED" end=`date +%s` build_time=$( echo "$end - $start" | bc -l ) @@ -32,7 +34,7 @@ echo "STAT:rough build time=${build_time}s" echo "STAT:" # now rebuild server with -profile=gc -dub build --build=profile-gc --config=server 2>&1 || echo "DCD BUILD FAILED" +dub build --build=profile-gc --config=server --force 2>&1 || echo "DCD BUILD FAILED" cd tests ./run_tests.sh --time-server