Skip to content

Commit 3195240

Browse files
fix: Stale check in publish script
1 parent a426c7f commit 3195240

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

tools/scripts/publish-scip-ruby.sh

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -21,11 +21,6 @@ if ! grep -q "const char scip_ruby_version\[\] = \"$NEW_VERSION\"" scip_indexer/
2121
exit 1
2222
fi
2323

24-
if ! grep -q "download/scip-ruby-v$NEW_VERSION" Dockerfile.autoindex; then
25-
echo "error: scip-ruby version in Dockerfile is not the latest release version."
26-
exit 1
27-
fi
28-
2924
if ! git diff --quiet; then
3025
echo "error: Found unstaged changes; aborting."
3126
exit 1

0 commit comments

Comments
 (0)