ci.yml

name: continuous-integration

on: [push]


jobs:
  tests:
    name: Tests
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@stable
      - uses: Swatinem/rust-cache@v2
      - run: cargo build --workspace
      - run: cargo test --workspace --no-fail-fast

  checks:
    name: Check clippy and documentation
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@stable
      - uses: Swatinem/rust-cache@v2
      - run: cargo clippy --workspace --all-targets --all-features
      - run: cargo doc --workspace --no-deps

  fmt:
    name: Check formatting
    runs-on: ubuntu-latest
    
    steps:
      - uses: actions/checkout@v4
      - uses: Swatinem/rust-cache@v2
      - uses: dtolnay/rust-toolchain@nightly
        with: 
          components: rustfmt
      - run: cargo +nightly fmt --all -- --check --verbose

  examples:
    strategy:
      matrix:
        job:
          - check
          - verify
    name: Compile and formally test examples
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: Swatinem/rust-cache@v2
      - uses: dtolnay/rust-toolchain@stable
      - run: | 
           for example in examples/*/; do
               echo "Processing example: $example";
               cargo run ${{ matrix.job }} $example/contract.fol
           done