From bba08c13668cc271de25fd27181f6c961eae3ef6 Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Thu, 9 Jun 2022 11:03:33 +0200
Subject: [PATCH] Build submissions in release mode (#539)

Co-authored-by: GHA <actions@github.com>
---
 scripts/gh-build-crate.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/scripts/gh-build-crate.sh b/scripts/gh-build-crate.sh
index 0bb40b37..b389c339 100755
--- a/scripts/gh-build-crate.sh
+++ b/scripts/gh-build-crate.sh
@@ -180,14 +180,22 @@ for file in $CHANGES; do
       echo FETCHED BINARY crate OK
    else
       echo FETCHED SOURCE crate OK, deployed at $(alr get --dirname $milestone)
+
       # Enter the deployment dir
       cd $(alr get --dirname $milestone)
+
       echo BUILD ENVIRONMENT
       alr printenv
+
       echo BUILDING CRATE
-      alr -d build
+      alr -d build --release
+      # As normally dependencies/executables are built in release mode, we also
+      # check any submissions in this mode. Should we go overboard and check the
+      # three profile modes?
+
       echo LISTING EXECUTABLES of crate $milestone
       alr -d run --list
+
       cd ..
    fi