ci.yml

name: CI

on:
  push:
    branches: [main]
  pull_request:

env:
  CARGO_TERM_COLOR: always
  FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true

jobs:
  check:
    name: Build, Test, Lint
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@stable
        with:
          components: clippy, rustfmt
          targets: wasm32-unknown-unknown
      - uses: Swatinem/rust-cache@v2

      - name: Install system dependencies
        run: sudo apt-get install -y clang lld wabt

      - name: Install kani-verifier
        run: cargo install --locked kani-verifier && cargo kani setup

      - name: Build
        run: cargo build --all-targets

      - name: Test (optimized)
        run: cargo test
        env:
          HERKOS_OPTIMIZE: "1"

      - name: Test (unoptimized)
        run: cargo test
        env:
          HERKOS_OPTIMIZE: "0"

      - name: Clippy
        run: cargo clippy --all-targets -- -D warnings

      - name: Format check
        run: cargo fmt --check

      - name: Example (C → Wasm → Rust)
        run: ./examples/c-to-wasm-to-rust/run.sh

      - name: Example (Inter-Module Lending)
        run: ./examples/inter-module-lending/run.sh