From c82bb251060c5675eb05a47e037a63f91304205b Mon Sep 17 00:00:00 2001
From: Tim Besard <tim.besard@gmail.com>
Date: Mon, 20 Mar 2023 12:01:15 +0100
Subject: [PATCH] Use specific exit code for instantiation failures

Can be used to skip testing.
---
 hooks/pre-command | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hooks/pre-command b/hooks/pre-command
index 7b1f710..ad19c22 100755
--- a/hooks/pre-command
+++ b/hooks/pre-command
@@ -17,4 +17,4 @@ julia --project=${project} -e "
     Pkg.instantiate()
     Pkg.build()
     Pkg.status()
-"
+" || exit 3