• Joined on 2026-03-28
fabi pushed to main at fabi/Sylpheed 2026-09-08 20:09:46 +00:00
b0729d5cc9 Merge pull request 'WASM: compile for wasm32, and fix trunk's binary selection on aarch64' (#17) from fix/clippy-lints-wasm into main
a364813df6 ci(wasm): drop the artifact upload, which cannot work on Gitea
7285a566dd fix(wasm): select the bin target, so trunk emits a real bundle
90365b1751 ci(wasm): bump trunk-action v0.5.0 -> v0.5.1 for aarch64
a7af8a41c2 fix(wasm): make cargo check --target wasm32 compile
Compare 6 commits »
fabi merged pull request fabi/Sylpheed#17 2026-09-08 20:09:44 +00:00
WASM: compile for wasm32, and fix trunk's binary selection on aarch64
fabi created pull request fabi/Sylpheed#18 2026-09-08 18:07:27 +00:00
style: rustfmt sweep — 774 hunks across 154 files → 0 (#12)
fabi pushed to chore/rustfmt-sweep at fabi/Sylpheed 2026-09-08 18:07:04 +00:00
c4c914ff59 style: rustfmt sweep -- 774 hunks across 154 files -> 0
fabi created branch chore/rustfmt-sweep in fabi/Sylpheed 2026-09-08 18:07:04 +00:00
fabi pushed to fix/clippy-lints-wasm at fabi/Sylpheed 2026-09-08 18:03:32 +00:00
a364813df6 ci(wasm): drop the artifact upload, which cannot work on Gitea
fabi pushed to fix/clippy-lints-wasm at fabi/Sylpheed 2026-09-08 17:00:40 +00:00
7285a566dd fix(wasm): select the bin target, so trunk emits a real bundle
fabi created pull request fabi/Sylpheed#17 2026-09-07 19:59:20 +00:00
WASM: compile for wasm32, and fix trunk's binary selection on aarch64
fabi closed issue fabi/Sylpheed#13 2026-09-07 19:58:08 +00:00
CI — clippy has never run; the toolchain shipped without the component
fabi merged pull request fabi/Sylpheed#14 2026-09-07 19:58:08 +00:00
Clear all 73 clippy lints, and make the Clippy step real
fabi pushed to main at fabi/Sylpheed 2026-09-07 19:58:08 +00:00
d630bc996f Merge pull request 'Clear all 73 clippy lints, and make the Clippy step real' (#14) from fix/clippy-lints into main
885b4d4d67 docs: the handoff's resume steps assume a machine this is not
4b62252d94 docs: handoff for resuming on another machine
d8807c4f8f fix(formats): collapse the one else { if }, so both toolchains agree
e56c1228ac fix: stop the lint pass adding rustfmt debt to #12
Compare 8 commits »
fabi pushed to main at fabi/Sylpheed 2026-09-07 19:57:57 +00:00
9b450a3b2a Merge pull request 'Gitea working surface: MCP, branch protection, runbook, and two protocol rules' (#10) from agents/gitea-mcp into main
a3d99adaa6 ci: install the clippy component the Clippy step needs
c457320210 ci: build for the machine that exists, on the runner that exists
25bfa1553f protocol: findings before citing code, and checks that were kind once
7fdcd69434 tools: a missing collaborator is a failure, not a blank
Compare 12 commits »
fabi merged pull request fabi/Sylpheed#10 2026-09-07 19:57:55 +00:00
Gitea working surface: MCP, branch protection, runbook, and two protocol rules
fabi commented on issue fabi/Sylpheed#16 2026-09-07 19:53:39 +00:00
cargo test reports 207/0/14 whether or not the disc corpus was exercised

Two numbers in the table above are wrong; the desktop caught both

The count reconciles exactly against the reported 14 ignored, but not with my categories. Corrected, workspace-wide,…

fabi commented on issue fabi/Sylpheed#16 2026-09-07 19:36:36 +00:00
cargo test reports 207/0/14 whether or not the disc corpus was exercised

Correcting remedy (1) above — I got it wrong, and the measurement was already here

The desktop flagged that mesh_consistency_disc.rs carries #[ignore] for an unrelated reason. Checking…

fabi pushed to fix/clippy-lints-wasm at fabi/Sylpheed 2026-09-07 19:32:43 +00:00
90365b1751 ci(wasm): bump trunk-action v0.5.0 -> v0.5.1 for aarch64
fabi commented on issue fabi/Sylpheed#11 2026-09-07 19:28:15 +00:00
CI — WASM: getrandom needs the wasm_js backend for wasm32-unknown-unknown

Asked to push the trunk bump; the token cannot, so it is a bundle again

The commit exists and is verified — 699ecc9, one file, ci.yml, +10/−1, base a7af8a4, author sylph-pi. It…

fabi commented on issue fabi/Sylpheed#11 2026-09-07 19:14:51 +00:00
CI — WASM: getrandom needs the wasm_js backend for wasm32-unknown-unknown

Trunk: confirmed independently, and it fixes more than the arch

The desktop's read is right — this is a version bump, not a replacement. Verified here by fetching both bundles and reading…

fabi opened issue fabi/Sylpheed#16 2026-09-07 19:13:38 +00:00
cargo test reports 207/0/14 whether or not the disc corpus was exercised
fabi pushed to fix/clippy-lints-wasm at fabi/Sylpheed 2026-09-07 19:08:12 +00:00
a7af8a41c2 fix(wasm): make cargo check --target wasm32 compile
9f6321d7d6 fix(formats): drop the unused normal tokio dependency
Compare 2 commits »