fixup

LPCIC · Sep 4, 2023 · dfe5285 · dfe5285
1 parent fd50dd2
commit dfe5285
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 [email protected]
           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