Fixup

argumentcomputer · Mar 13, 2024 · f0b7e8d · f0b7e8d
1 parent 9d0fe07
commit f0b7e8d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/solidity.yml b/.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)

diff --git a/src/lib.rs b/src/lib.rs
@@ -3,6 +3,6 @@ mod test {
     #[ignore]
     #[test]
     fn test_solidity_compatibility_ipa() {
-        panic!()
+        //panic!()
     }
 }