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