From 48e370fb08485fb52eda79a7be9dbf31b8fda11d Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sat, 28 Nov 2020 19:07:45 +0100
Subject: [PATCH 1/2] fix(entrypoint.sh): Add missing startGroup

---
 entrypoint.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/entrypoint.sh b/entrypoint.sh
index 99f362a..c87a396 100755
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -15,7 +15,7 @@ else
     PACKAGE=$(basename "$INPUT_OPAM_FILE" .opam)
 fi
 
-startGroup Print runner configuration
+startGroup "Print runner configuration"
 
 echo "GITHUB_WORKFLOW=$GITHUB_WORKFLOW"
 echo "RUNNER_OS=$RUNNER_OS"
@@ -119,6 +119,8 @@ if printf "%s" "$INPUT_EXPORT" | grep -e '^[a-zA-Z_][a-zA-Z0-9_ ]*$' -q -v; then
     exit 1
 fi
 
+startGroup "Install perl for mustache interpolation"
+
 apk add --no-cache perl
 
 moperl() {
@@ -136,6 +138,8 @@ INPUT_CUSTOM_SCRIPT_EXPANDED=$(printf "%s" "$INPUT_CUSTOM_SCRIPT" | \
   moperl after_script "$INPUT_AFTER_SCRIPT" | \
   moperl uninstall "$INPUT_UNINSTALL")
 
+endGroup
+
 if test -z "$INPUT_CUSTOM_SCRIPT_EXPANDED"; then
     echo "ERROR: The expanded script is empty."
     usage
@@ -152,7 +156,7 @@ elif [ "$INPUT_OCAML_VERSION" = '4.07-flambda' ]; then
 fi
 echo OCAML407="$OCAML407"
 
-startGroup Pull docker-coq image
+startGroup "Pull docker-coq image"
 
 echo COQ_IMAGE="$COQ_IMAGE"
 docker pull "$COQ_IMAGE"

From da12ca12022fadb7e9c304652332ba68ccc7c36b Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Sat, 28 Nov 2020 19:10:56 +0100
Subject: [PATCH 2/2] fix(action.yml): Fix typo

---
 action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/action.yml b/action.yml
index 88fbbc6..9e55ea4 100644
--- a/action.yml
+++ b/action.yml
@@ -48,7 +48,7 @@ inputs:
   uninstall:
     description: 'Customizable script run to uninstall the opam package(s).'
     default: |
-      startGroup "Installation test"
+      startGroup "Uninstallation test"
         opam remove $PACKAGE
       endGroup
   custom_script: