Skip to content

Actions: asymptotic-code/sui-prover

Actions

Claude Code Review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
claude-code-review.yml
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup, removed once_cell related to move_model bump Claude Code Review #252: Pull request #571 synchronize by andrii-a8c
1m 8s cleanup
cleanup
1m 8s
cleanup, removed once_cell related to move_model bump Claude Code Review #251: Pull request #571 synchronize by andrii-a8c
6m 1s cleanup
cleanup
6m 1s
cleanup, removed once_cell related to move_model bump Claude Code Review #250: Pull request #571 opened by andrii-a8c
6m 15s cleanup
cleanup
6m 15s
feat: restricted usage of func with loop inv in pure functions Claude Code Review #249: Pull request #570 opened by andrii-a8c
5m 5s pure-calle-loop-inv-restriction
pure-calle-loop-inv-restriction
5m 5s
snapshot fix Claude Code Review #248: Pull request #569 opened by andrii-a8c
1m 22s snap-fix
snap-fix
1m 22s
More system specs Claude Code Review #247: Pull request #567 opened by andrii-a8c
4m 12s more-system-specs
more-system-specs
4m 12s
feat: bump Claude Code Review #246: Pull request #566 synchronize by andrii-a8c
8m 17s bump-sui-next
bump-sui-next
8m 17s
feat: bump Claude Code Review #245: Pull request #566 opened by andrii-a8c
4m 22s bump-sui-next
bump-sui-next
4m 22s
fixed cloud run with local specs Claude Code Review #244: Pull request #564 synchronize by andrii-a8c
1m 4s concurrency-fixes
concurrency-fixes
1m 4s
ignore aborts by function Claude Code Review #243: Pull request #565 synchronize by andreistefanescu
9m 14s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
9m 14s
ignore aborts by function Claude Code Review #242: Pull request #565 synchronize by andreistefanescu
14m 56s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
14m 56s
ignore aborts by function Claude Code Review #241: Pull request #565 synchronize by andreistefanescu
17m 7s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
17m 7s
ignore aborts by function Claude Code Review #240: Pull request #565 synchronize by andreistefanescu
9m 23s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
9m 23s
ignore aborts by function Claude Code Review #239: Pull request #565 synchronize by andreistefanescu
13m 26s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
13m 26s
ignore aborts by function Claude Code Review #238: Pull request #565 synchronize by andreistefanescu
8m 17s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
8m 17s
ignore aborts by function Claude Code Review #237: Pull request #565 synchronize by andreistefanescu
8m 6s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
8m 6s
ignore aborts by function Claude Code Review #236: Pull request #565 synchronize by andreistefanescu
14m 24s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
14m 24s
ignore aborts by function Claude Code Review #235: Pull request #565 synchronize by andreistefanescu
10m 28s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
10m 28s
ignore aborts by function Claude Code Review #234: Pull request #565 opened by andreistefanescu
6m 39s worktree-ignore_aborts_by_function
worktree-ignore_aborts_by_function
6m 39s
fixed cloud run with local specs Claude Code Review #233: Pull request #564 opened by andrii-a8c
4m 14s concurrency-fixes
concurrency-fixes
4m 14s
Fix pure enum constructor lowering and improve enum match diagnostics Claude Code Review #232: Pull request #562 synchronize by peter941221
Action required peter941221:fix-issue-452-pure-enum-lowering
peter941221:fix-issue-452-pure-enum-lowering
Action required
Fix pure enum constructor lowering and improve enum match diagnostics Claude Code Review #231: Pull request #562 synchronize by peter941221
Action required peter941221:fix-issue-452-pure-enum-lowering
peter941221:fix-issue-452-pure-enum-lowering
Action required
Add Lean 4 showcase proofs for issue 452 constructor lowering Claude Code Review #230: Pull request #563 opened by peter941221
Action required peter941221:add-lean-issue-452-showcase
peter941221:add-lean-issue-452-showcase
Action required
Fix pure enum constructor lowering and improve enum match diagnostics Claude Code Review #229: Pull request #562 opened by peter941221
Action required peter941221:fix-issue-452-pure-enum-lowering
peter941221:fix-issue-452-pure-enum-lowering
Action required
Fixed the progress display while tracing; also display list of timeouts Claude Code Review #228: Pull request #561 synchronize by claude bot
12s trace-fixes
trace-fixes
12s