mirror of
https://github.com/storytold/craft-libs.git
synced 2026-11-11 21:12:18 +00:00
Martin BallandClaude Opus 5.5
b758ba6943
- Package renamed wordcraft-proof -> craft-proof; [workspace.dependencies] entry; public API unchanged. - build.rs embeds craft-i18n language-data/ (en-us, de, pl, pt, it, ru) instead of include_str!/include_bytes! of WordCraft's assets/: warns when CRAFT_I18N_DIR is unset, errors under CRAFT_I18N_REQUIRED=1. - No data: English spelling marks and suggests nothing, hyphenation that needs data is off, grammar and rule-based hyphenation work. no_data.rs runs every public entry point without data; data-pinning tests are ignored then (cfg craft_proof_data). - es timing bound 75 -> 150 ms: craft-libs tests run at opt-level 0. - proof.yml (fmt, clippy -D warnings, tests with and without data, release guard, wasm32), README, CODEOWNERS for crates/proof. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01FypgCX8LsYYE8fsj4byBm2
61 lines
2.2 KiB
YAML
61 lines
2.2 KiB
YAML
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.
|
|
# TODO(CP1.2): pin `ref` to the craft-i18n commit that adds language-data/ once it merges.
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
repository: storytold/craft-i18n
|
|
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
|