diff --git a/.github/SOLIDITY_COMPAT_ISSUE.md b/.github/SOLIDITY_COMPAT_ISSUE.md
index ce9f92e2d..e669af174 100644
--- a/.github/SOLIDITY_COMPAT_ISSUE.md
+++ b/.github/SOLIDITY_COMPAT_ISSUE.md
@@ -3,3 +3,6 @@ Compatibility with the [Arecibo](https://github.com/lurk-lab/arecibo) dependency
 Check the [Solidity compatibility workflow run](__WORKFLOW_URL__) for details.
 
 This issue was raised by the workflow at __WORKFLOW_FILE__.
+
+> [!NOTE]
+> This is a test
diff --git a/.github/workflows/solidity.yml b/.github/workflows/solidity.yml
index 0fa2198b5..e14c23e19 100644
--- a/.github/workflows/solidity.yml
+++ b/.github/workflows/solidity.yml
@@ -135,7 +135,7 @@ jobs:
             ${{ env.WORKFLOW_URL }}
       # Substitutes env vars for their values in `SOLIDITY_COMPAT_ISSUE.md`
       - uses: falnyr/replace-env-vars-action@master
-        if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued')
+        if: steps.solidity-test.outcome != 'success'
         env:
           WORKFLOW_URL: ${{ env.WORKFLOW_URL }}
           WORKFLOW_FILE: ${{ env.WORKFLOW_FILE }}
@@ -147,7 +147,7 @@ jobs:
       # Finds the last open issue matching given labels
       - name: Find the last open compatibility issue
         id: last-issue
-        if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued')
+        if: steps.solidity-test.outcome != 'success'
         uses: micalevisk/last-issue-action@v2
         with:
           repository: lurk-lab/solidity-verifier
@@ -159,7 +159,7 @@ jobs:
             automated issue
       # Update existing issue in `solidity-verifier` or create new one
       - uses: peter-evans/create-issue-from-file@v5
-        if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued')
+        if: steps.solidity-test.outcome != 'success'
         with:
           token: ${{ secrets.REPO_TOKEN }}
           repository: lurk-lab/solidity-verifier
diff --git a/src/provider/tests/ipa_pc.rs b/src/provider/tests/ipa_pc.rs
index 3c41dafb8..58b3e571a 100644
--- a/src/provider/tests/ipa_pc.rs
+++ b/src/provider/tests/ipa_pc.rs
@@ -62,7 +62,7 @@ label[0] = 0x54;
 label[1] = 0x65;
 label[2] = 0x73;
 label[3] = 0x74;
-label[4] = 0x45;
+label[4] = 0x46;
 label[5] = 0x76;
 label[6] = 0x61;
 label[7] = 0x6c;