Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 12 additions & 2 deletions .github/workflows/unit-tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,6 @@ jobs:
cargo +nightly-2025-07-14 test -p tzel-verifier --lib
cargo test --lib -p tzel-services
cargo test --test integration -p tzel-services
cargo test --test cross_impl_interop -p tzel-services
cargo test --manifest-path services/tzel/Cargo.toml --bin tzel-operator
cargo +nightly-2025-07-14 test -p tzel-rollup-kernel --lib
cargo +nightly-2025-07-14 test -p tzel-rollup-kernel --test bridge_flow
Expand All @@ -70,6 +69,8 @@ jobs:

ocaml:
runs-on: ubuntu-latest
env:
LIBRARY_PATH: ${{ github.workspace }}/ocaml/vendor/mlkem-native/test/build
steps:
- name: Check out repository
uses: actions/checkout@v4
Expand All @@ -88,5 +89,14 @@ jobs:
run: |
opam install -y dune alcotest cstruct ctypes ctypes-foreign hex mirage-crypto yojson

- name: Build ML-KEM native library
run: make -C ocaml/vendor/mlkem-native lib

- name: Set up Rust stable
uses: dtolnay/rust-toolchain@stable

- name: Run OCaml unit tests
run: ./scripts/ocaml_unit_tests.sh
run: opam exec -- ./scripts/ocaml_unit_tests.sh

- name: Run cross-implementation interop test
run: opam exec -- cargo test --test cross_impl_interop -p tzel-services
16 changes: 11 additions & 5 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 8 additions & 0 deletions apps/wallet/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -3,10 +3,18 @@ name = "tzel-wallet-app"
version = "0.1.0"
edition = "2021"

[lib]
name = "tzel_wallet_app"
path = "src/lib.rs"

[[bin]]
name = "sp-client"
path = "src/bin/sp-client.rs"

[[bin]]
name = "wallet-server"
path = "src/bin/wallet-server.rs"

[[bin]]
name = "tzel-wallet"
path = "src/bin/tzel-wallet.rs"
Expand Down
3 changes: 3 additions & 0 deletions apps/wallet/src/bin/wallet-server.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
fn main() {
tzel_wallet_app::wallet_server_entry();
}
Loading