automatically release wasm build (#5997)

.github/workflows/wasm-release.yml

@@ -2,6 +2,8 @@ name: WebAssembly Publish
 
 on:
   workflow_dispatch:
+  release:
+    types: [published]
 
 defaults:
   run:

src/api/js/example-raw.ts

@@ -56,7 +56,6 @@ import { init, Z3_error_code } from './build/node-wrapper';
   }
   console.log('confirming error messages work:', Z3.get_error_msg(ctx, Z3.get_error_code(ctx)));
 
-
   Z3.dec_ref(ctx, strAst);
   Z3.del_context(ctx);
 

src/api/js/scripts/make-ts-wrapper.js

@@ -422,9 +422,9 @@ export async function init(initModule: any) {
         return ctx;
       },
       ${functions
-       .map(wrapFunction)
-       .filter(f => f != null)
-       .join(',\n')}
+        .map(wrapFunction)
+        .filter(f => f != null)
+        .join(',\n')}
 
     }
   };

src/api/js/scripts/parse-api.js

@@ -121,7 +121,6 @@ for (let file of files) {
       throw new Error(`extra text in parameter list ${JSON.stringify(text)}`);
     }
 
-
     if (name in defApis) {
       throw new Error(`multiple defApi calls for ${name}`);
     }
@@ -132,11 +131,11 @@ for (let file of files) {
     types[match.groups.type] = match.groups.type;
   }
 
-    // we don't have to pre-populate the types map with closure types
-    // use the Z3_DECLARE_CLOSURE to identify closure types
-    // for (let match of contents.matchAll(/Z3_DECLARE_CLOSURE\((?<type>[A-Za-z0-9_]+),/g)) {
-    //   types[match.groups.type] = match.groups.type
-    // }
+  // we don't have to pre-populate the types map with closure types
+  // use the Z3_DECLARE_CLOSURE to identify closure types
+  // for (let match of contents.matchAll(/Z3_DECLARE_CLOSURE\((?<type>[A-Za-z0-9_]+),/g)) {
+  //   types[match.groups.type] = match.groups.type
+  // }
 
   // parse enum declarations
   for (let idx = 0; idx < contents.length; ) {