From 534e91c3c46457d6887c1980b7477072d2f275cf Mon Sep 17 00:00:00 2001
From: Austin Letson <austin.letson@axiomatic-ai.com>
Date: Wed, 24 Dec 2025 11:21:02 -0500
Subject: [PATCH] fix: fail lean-action if any command in `install_elan.sh`
 fails

fixes #140
---
 scripts/install_elan.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/install_elan.sh b/scripts/install_elan.sh
index b2817d2..482d716 100755
--- a/scripts/install_elan.sh
+++ b/scripts/install_elan.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -e
 
 # Group logging using the ::group:: workflow command
 echo "::group::Elan Installation Output"