Merge branch 'master' into heapster/type-system-docs

GaloisInc · Jun 14, 2022 · 37d83b0 · 37d83b0
2 parents adac5e4 + 5519c7f
commit 37d83b0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -156,14 +156,14 @@ jobs:
       - shell: bash
         run: .github/ci.sh zip_dist_with_solvers $NAME-with-solvers
 
-      - if: matrix.ghc == '8.10.7'
+      - if: matrix.ghc == '8.10.7' && github.event.pull_request.head.repo.fork == false
         shell: bash
         env:
           SIGNING_PASSPHRASE: ${{ secrets.SIGNING_PASSPHRASE }}
           SIGNING_KEY: ${{ secrets.SIGNING_KEY }}
         run: .github/ci.sh sign $NAME.tar.gz
 
-      - if: matrix.ghc == '8.10.7'
+      - if: matrix.ghc == '8.10.7' && github.event.pull_request.head.repo.fork == false
         shell: bash
         env:
           SIGNING_PASSPHRASE: ${{ secrets.SIGNING_PASSPHRASE }}

diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
@@ -1740,7 +1740,7 @@ primitives = Map.fromList
     [ "Write the current goal to the given file in SMT-Lib2 format." ]
 
   , prim "w4_offline_smtlib2"  "String -> ProofScript ()"
-    (pureVal offline_smtlib2)
+    (pureVal w4_offline_smtlib2)
     Current
     [ "Write the current goal to the given file in SMT-Lib2 format." ]