Fix crate README paths and release build

.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:

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"

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"]

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 = []