Update kup publish command to allow errors (#134)

Modify kup publish command to prevent failure on error.

Author: F-WRunTime

.github/workflows/master.yml

@@ -79,6 +79,6 @@ jobs:
           packages: jq
           script: |
             export PATH="$(nix build github:runtimeverification/kup --no-link --json | jq -r '.[].outputs | to_entries[].value')/bin:$PATH"
-            kup publish k-framework-binary .#stable-mir-json --keep-days 180
+            kup publish k-framework-binary .#stable-mir-json --keep-days 180 || true
 
             bash .github/scripts/check-cachix-pin.sh