From d9f88451671bb120eda478867750949a74dfc739 Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Sun, 27 Sep 2026 01:33:56 +0000
Subject: [PATCH] fix: correct crate readmes and release build

Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
---
 .github/workflows/release.yml        | 26 +++++++-------------------
 crates/typed-wasm-codegen/Cargo.toml |  2 +-
 crates/typed-wasm-gate/Cargo.toml    |  2 +-
 crates/typed-wasm-verify/Cargo.toml  |  2 +-
 4 files changed, 10 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index e41a769..4939a2d 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -28,21 +28,15 @@ jobs:
     steps:
       - uses: actions/checkout@v7.0.1
 
-      - name: Build
+      - name: Install Rust toolchain
         run: |
-          echo "Build your artifacts here"
-          # TODO: Replace with your build commands
-          # Examples:
-          #   cargo build --release
-          #   zig build -Doptimize=ReleaseFast
-          #   gleam build
-          #   mix release
+          rustup toolchain install stable --profile minimal --no-self-update
+          rustup default stable
 
-      # TODO: Upload build artifacts if needed
-      # - uses: actions/upload-artifact@v4
-      #   with:
-      #     name: release-artifacts
-      #     path: target/release/
+      - name: Build and test workspace
+        run: |
+          cargo test --workspace --locked
+          cargo build --workspace --release --locked
 
   changelog:
     name: Generate Changelog
@@ -98,12 +92,6 @@ jobs:
     steps:
       - uses: actions/checkout@v7.0.1
 
-      # TODO: Download build artifacts if uploading to the release
-      # - uses: actions/download-artifact@v4
-      #   with:
-      #     name: release-artifacts
-      #     path: artifacts/
-
       - name: Create GitHub Release
         uses: softprops/action-gh-release@v3.0.3
         with:
diff --git a/crates/typed-wasm-codegen/Cargo.toml b/crates/typed-wasm-codegen/Cargo.toml
index ea9c2ce..c2c95b8 100644
--- a/crates/typed-wasm-codegen/Cargo.toml
+++ b/crates/typed-wasm-codegen/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 license = "MPL-2.0"
 description = "typed-wasm producer (codegen v0): emits verifier-accepted wasm plus typedwasm.* carrier sections from a typed region IR"
 repository = "https://github.com/hyperpolymath/typed-wasm"
-readme = "README.md"
+readme = "README.adoc"
 
 [lib]
 path = "src/lib.rs"
diff --git a/crates/typed-wasm-gate/Cargo.toml b/crates/typed-wasm-gate/Cargo.toml
index 3500748..9d29500 100644
--- a/crates/typed-wasm-gate/Cargo.toml
+++ b/crates/typed-wasm-gate/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 license = "MPL-2.0"
 description = "Load-time enforcement gate: refuse to instantiate wasm that fails typed-wasm verification (Phase 3 slice)"
 repository = "https://github.com/hyperpolymath/typed-wasm"
-readme = "README.md"
+readme = "README.adoc"
 
 [features]
 default = ["wasmi-runtime"]
diff --git a/crates/typed-wasm-verify/Cargo.toml b/crates/typed-wasm-verify/Cargo.toml
index f460d3c..65b6aab 100644
--- a/crates/typed-wasm-verify/Cargo.toml
+++ b/crates/typed-wasm-verify/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 license = "MPL-2.0"
 description = "Post-codegen verifier for typed-wasm L7 (aliasing) and L10 (linearity) constraints on emitted wasm modules"
 repository = "https://github.com/hyperpolymath/typed-wasm"
-readme = "README.md"
+readme = "README.adoc"
 
 [features]
 default = []