From 225cf6dd9b2db5d5d0117470e2c1561ec29a039b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Fri, 17 Jul 2026 12:36:51 -0700
Subject: [PATCH] Revert "Allow OTP input for WebAssembly npm publish workflow"
 (#10157)

Reverts Z3Prover/z3#10156
---
 .github/workflows/wasm-release.yml | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/.github/workflows/wasm-release.yml b/.github/workflows/wasm-release.yml
index 4ecba437e..9bed832a0 100644
--- a/.github/workflows/wasm-release.yml
+++ b/.github/workflows/wasm-release.yml
@@ -2,11 +2,6 @@ name: WebAssembly Publish
 
 on:
   workflow_dispatch:
-    inputs:
-      npm_otp:
-        description: "One-time password for npm publish (optional)"
-        required: false
-        type: string
   release:
     types: [published]
 
@@ -66,12 +61,7 @@ jobs:
       - name: Test
         run: npm test
 
-      - name: Mask npm OTP
-        if: ${{ github.event.inputs.npm_otp != '' }}
-        run: echo "::add-mask::${{ github.event.inputs.npm_otp }}"
-
       - name: Publish
         run: npm publish
         env:
           NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}
-          NPM_CONFIG_OTP: ${{ github.event.inputs.npm_otp }}