From dfe528598d04588376eb6b240003647cdd5aa473 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 4 Sep 2023 11:37:21 +0200
Subject: [PATCH] fixup

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 45d1b6175..9d869f295 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -90,5 +90,5 @@ jobs:
           git config --global user.name coqelpibot
           git config --global user.email coqelpibot@inria.fr
           OPAM_SUITE=released
-          TAG=`shell git tag --sort=-v:refname|head -1`
+          TAG=`git tag --sort=-v:refname|head -1`
           opam-publish --tag=$TAG --packages-directory=$OPAM_SUITE/packages --repo=coq/opam --no-browser -v ${TAG##v}	https://github.com/LPCIC/coq-elpi/releases/download/$TAG/coq-elpi-${TAG##v}.tar.gz