Issue Tracker

refactor(Channel/Determinant): use Fintype sum zero criterion #6252

Sign in to view logs

Triggered via pull request June 21, 2026 02:44

LionSR

opened #3276

codex/fintype-sum-nonneg

Status Success

Total duration 1m 31s

Artifacts –

tracking-issue-sync.yml

on: pull_request

Annotations

1 notice

Claude Code provider

provider=anthropic, model=claude-sonnet-4-6, tier=sonnet