Fixup

.github/workflows/solidity.yml

@@ -40,7 +40,7 @@ jobs:
         continue-on-error: true
       # Prepares env vars for use in a PR comment or issue in `solidity-verifier`
       - name: Set env vars
-        #if: steps.solidity-test.outcome != 'success'
+        if: steps.solidity-test.outcome != 'success'
         run: |
           if [[ "${{ github.event_name }}" == "pull_request" ]]; then
             COMMIT=$(echo ${{ github.event.pull_request.head.sha }} | cut -c -7)

src/lib.rs

@@ -3,6 +3,6 @@ mod test {
     #[ignore]
     #[test]
     fn test_solidity_compatibility_ipa() {
-        panic!()
+        //panic!()
     }
 }