name: core

on: [push, pull_request]

env:
  CARGO_TERM_COLOR: always

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout sources
        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab

      - name: Install Rust toolchain
        run: rustup default nightly

      - name: Install cargo-hack
        run: cargo install cargo-hack

      - name: All
        working-directory: ./core
        run: cargo test --all-features

      - name: Docs
        working-directory: ./core
        run: cargo doc --all-features

      - name: Build powerset
        working-directory: ./core
        run: cargo hack build --feature-powerset --lib

      - name: Test powerset
        working-directory: ./core
        run: cargo hack test --feature-powerset --lib

      - name: Minimal versions
        working-directory: ./core
        run: cargo hack test --feature-powerset --lib -Z minimal-versions
  
  embedded:
    name: Build (embedded)
    runs-on: ubuntu-latest
    steps:
      - name: Checkout sources
        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab

      - name: Install Rust toolchain
        run: |
          rustup default nightly
          rustup target add thumbv6m-none-eabi

      - name: Install cargo-hack
        run: cargo install cargo-hack

      - name: Powerset
        working-directory: ./core
        run: cargo hack check --each-feature --exclude-features std,alloc,implicit_rt,implicit_internal_rt -Z avoid-dev-deps --target thumbv6m-none-eabi

  wasip2:
    name: Test (Wasip2)
    runs-on: ubuntu-latest
    steps:
      - name: Checkout sources
        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab

      - name: Install Wasmtime
        run: curl https://wasmtime.dev/install.sh -sSf | bash

      - name: Add Wasmtime to path
        run: echo "$HOME/.wasmtime/bin" >> $GITHUB_PATH

      - name: Install Rust toolchain
        run: rustup default nightly

      - name: Install wasm32-wasip2 target
        run: rustup target add wasm32-wasip2

      - name: Install cargo-hack
        run: cargo install cargo-hack

      - name: All
        working-directory: ./core
        run: cargo test --target wasm32-wasip2 --all-features

      - name: Build powerset
        working-directory: ./core
        run: cargo hack build --target wasm32-wasip2 --feature-powerset --lib

  miri:
    name: Test (Miri)
    runs-on: ubuntu-latest
    steps:
      - name: Checkout sources
        uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab

      - name: Install Miri
        run: |
          rustup toolchain install nightly --component miri
          cargo +nightly miri setup

      - name: Default features
        working-directory: ./core
        run: cargo +nightly miri test --lib

      - name: All features
        working-directory: ./core
        run: cargo +nightly miri test --lib --all-features

      - name: No features
        working-directory: ./core
        run: cargo +nightly miri test --lib --no-default-features
