name: Proofing

on:
  push:
    branches: [main]
    paths: ["crates/proof/**", "Cargo.toml", "Cargo.lock", ".github/workflows/proof.yml"]
  pull_request:
    paths: ["crates/proof/**", "Cargo.toml", "Cargo.lock", ".github/workflows/proof.yml"]
  workflow_dispatch:

permissions:
  contents: read

concurrency:
  group: craft-proof-${{ github.ref }}
  cancel-in-progress: true

jobs:
  check:
    timeout-minutes: 20
    name: Proofing lint, tests with and without Language data, WASM
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          persist-credentials: false
      # The Language data (craft-i18n `language-data/`), embedded by crates/proof/build.rs.
      # Pinned to storytold/craft-i18n#114's head (#109's SCOWL dictionaries + judgment/judgement,
      # CP2.1); TODO(CP2.1): move to #114's merge commit once it merges.
      - uses: actions/checkout@v4
        with:
          repository: storytold/craft-i18n
          ref: c239f934ace90b7939afaceb23b472ceeafd6b8a
          path: craft-i18n
          persist-credentials: false
      - uses: dtolnay/rust-toolchain@b725eda525362e7cf34af9a7243cac1e3f01a7ec # stable
        with:
          components: rustfmt, clippy
          targets: wasm32-unknown-unknown
      - uses: Swatinem/rust-cache@d1527c8f67ef9af357290475d4af4b0fab8f12e0 # v2.9.3
        with:
          key: craft-proof
      - run: cargo fmt -p craft-proof --check
      - name: Without Language data (a fork, docs.rs, offline)
        run: |
          cargo clippy -p craft-proof --all-targets --locked -- -D warnings
          cargo test -p craft-proof --locked
          cargo check -p craft-proof --locked --target wasm32-unknown-unknown
      - name: A release without Language data fails
        run: |
          if CRAFT_I18N_REQUIRED=1 cargo check -p craft-proof --locked 2>build.log; then
            echo "::error::CRAFT_I18N_REQUIRED=1 without CRAFT_I18N_DIR built"; exit 1
          fi
          grep -q "CRAFT_I18N_REQUIRED=1 but CRAFT_I18N_DIR is unset" build.log
      - name: With Language data
        env:
          CRAFT_I18N_DIR: ${{ github.workspace }}/craft-i18n
          CRAFT_I18N_REQUIRED: "1"
        run: |
          cargo clippy -p craft-proof --all-targets --locked -- -D warnings
          cargo test -p craft-proof --locked
          cargo check -p craft-proof --locked --target wasm32-unknown-unknown
      - name: The English-only build (CRAFT_PROOF_EMBED=en, CP4.4's default once Language packs ship)
        env:
          CRAFT_I18N_DIR: ${{ github.workspace }}/craft-i18n
          CRAFT_I18N_REQUIRED: "1"
          CRAFT_PROOF_EMBED: en
        run: cargo test -p craft-proof --locked