Merge remote-tracking branch 'origin/master' into release

runtimeverification · Nov 9, 2024 · 6143f9d · 6143f9d
2 parents 839aad6 + 52ca109
commit 6143f9d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/kontrol/__main__.py b/src/kontrol/__main__.py
@@ -183,6 +183,7 @@ def exec_build(options: BuildOptions) -> None:
         )
     except Exception as e:
         console.print(f'[bold red]An error occurred while building your Kontrol project:[/bold red] [black]{e}[/black]')
+        raise e
 
 
 def exec_prove(options: ProveOptions) -> None: