make-opam-files now computes the appropriate ci-skip line

MetaCoq · Jul 22, 2024 · b1b6be2 · b1b6be2
1 parent 462f3ab
commit b1b6be2
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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
+done
+
+echo "ci-skip:" $skipline