fix: fail lean-action if any command in install_elan.sh fails

austinletson-ax · austinletson-ax · commit 534e91c3c464 · 2025-12-24T11:21:02.000-05:00
fixes #140
diff --git 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"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#!/bin/bash`
	`2`	`+set -e`
`2`	`3`
`3`	`4`	`# Group logging using the ::group:: workflow command`
`4`	`5`	`echo "::group::Elan Installation Output"`