diff --git a/.github/workflows/check-examples-in-docs.yml b/.github/workflows/check-examples-in-docs.yml
index a30d8b46..dd84c975 100644
--- a/.github/workflows/check-examples-in-docs.yml
+++ b/.github/workflows/check-examples-in-docs.yml
@@ -11,7 +11,6 @@ concurrency:
 
 jobs:
   check-examples-in-docs:
-    continue-on-error: true
     strategy:
       fail-fast: false
       matrix:
diff --git a/.github/workflows/reusable-tests.yml b/.github/workflows/reusable-tests.yml
index 7c78aef0..4a606bdd 100644
--- a/.github/workflows/reusable-tests.yml
+++ b/.github/workflows/reusable-tests.yml
@@ -10,7 +10,6 @@ on:
 
 jobs:
   reusable_verification:
-    continue-on-error: true
     strategy:
       fail-fast: false
       matrix:
diff --git a/lit.site.cfg b/lit.site.cfg
index 67a1314e..bc80b318 100644
--- a/lit.site.cfg
+++ b/lit.site.cfg
@@ -7,6 +7,7 @@ import sys
 import re
 import platform
 import shutil
+import subprocess
 from os import path
 
 import lit.util
@@ -136,11 +137,18 @@ def buildCmd(args):
 
 standardArguments = addParams(' '.join([]))
 
+# Pass --compile-suffix when available (since extern implementations depend on this)
+dafnyHelpProcess = subprocess.run(['dafny', '/help'], capture_output=True)
+if dafnyHelpProcess.stdout.find(b'/compileSuffix') != -1:
+    standardTranslationArguments = ' '.join(['--compile-suffix'])
+else:
+    standardTranslationArguments = ''
+
 resolveArgs = ' resolve --use-basename-for-filename ' + standardArguments
 verifyArgs = ' verify --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
-buildArgs = ' build --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
-runArgs = ' run --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
-testArgs = ' test --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments
+buildArgs = ' build --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments + ' ' + standardTranslationArguments
+runArgs = ' run --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments + ' ' + standardTranslationArguments
+testArgs = ' test --use-basename-for-filename --cores:2 --verification-time-limit:300 ' + standardArguments + ' ' + standardTranslationArguments
 
 config.substitutions.append( ('%trargs', '--use-basename-for-filename --cores:2 --verification-time-limit:300' ) )