diff --git a/make-opam-files.sh b/make-opam-files.sh
index f448ac508..38bbba529 100755
--- a/make-opam-files.sh
+++ b/make-opam-files.sh
@@ -33,15 +33,20 @@ gh release upload $tag $archive
 
 release=https://github.com/MetaCoq/metacoq/releases/download/$tag/$archive
 
+skipline=""
+
 for f in *.opam;
 do
     opamf=${f/.opam/};
     target=$1/$opamf/$opamf.$2/opam;
     echo $opamf;
     mkdir -p $1/$opamf/$opamf.$2
+    skipline="$skipline $opamf.$2"
     gsed -e "/^version:.*/d" $f > $target
     echo url { >> $target
     echo "  src:" \"$release\" >> $target
     echo "  checksum:" \"sha512=$hash\" >> $target
     echo } >> $target
-done
\ No newline at end of file
+done
+
+echo "ci-skip:" $skipline
\ No newline at end of file