From 585c9c6eb797fb2caaf6a2622caa14ec2c937003 Mon Sep 17 00:00:00 2001 From: Tobias Ribizel Date: Wed, 16 Feb 2022 13:26:15 +0100 Subject: [PATCH] disable abidiff failing --- .github/abidiff.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/abidiff.sh b/.github/abidiff.sh index be9ad1d9942..8c644dcfa38 100755 --- a/.github/abidiff.sh +++ b/.github/abidiff.sh @@ -6,4 +6,4 @@ popd bot_delete_comments_matching "Note: This PR changes the Ginkgo ABI" -abidiff build-old/lib/libginkgod.so build-new/lib/libginkgod.so &> abi.diff || (bot_comment "Note: This PR changes the Ginkgo ABI:\n\`\`\`\n$(head -n2 abi.diff | tr '\n' ';' | sed 's/;/\\n/g')\`\`\`\nFor details check the full ABI diff under **Artifacts** [here]($JOB_URL)" && false) +abidiff build-old/lib/libginkgod.so build-new/lib/libginkgod.so &> abi.diff || (bot_comment "Note: This PR changes the Ginkgo ABI:\n\`\`\`\n$(head -n2 abi.diff | tr '\n' ';' | sed 's/;/\\n/g')\`\`\`\nFor details check the full ABI diff under **Artifacts** [here]($JOB_URL)")