Skip to content

Actions: asymptotic-code/sui-prover

Actions

Claude Code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
claude.yml
309 workflow runs
309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trouble with mutation Claude Code #345: Issue comment #545 (comment) created by andreistefanescu
18m 16s
18m 16s
Trouble with mutation Claude Code #344: Issue comment #545 (comment) created by claude bot
1s
1s
Trouble with mutation Claude Code #343: Issue comment #545 (comment) created by andreistefanescu
17m 54s
17m 54s
Allow multiple loop invariants for the same function, prefer same-module Claude Code #342: Pull request #549 created by cursor bot
1s
1s
Allow multiple loop invariants for the same function, prefer same-module Claude Code #341: Pull request #549 submitted by cursor bot
1s
1s
Trouble with mutation Claude Code #340: Issue comment #545 (comment) created by claude bot
1s
1s
Trouble with mutation Claude Code #339: Issue comment #545 (comment) created by andreistefanescu
7m 44s
7m 44s
uninterpreted by default Claude Code #338: Issue comment #547 (comment) created by claude bot
1s
1s
uninterpreted by default Claude Code #337: Issue comment #547 (comment) created by andreistefanescu
15m 36s
15m 36s
Trouble with mutation Claude Code #336: Issue comment #545 (comment) created by claude bot
1s
1s
Trouble with mutation Claude Code #335: Issue comment #545 (comment) created by andreistefanescu
32m 47s
32m 47s
How to include multiple extra BPL files? Claude Code #334: Issue comment #548 (comment) created by claude bot
1s
1s
How to include multiple extra BPL files? Claude Code #333: Issue comment #548 (comment) created by andreistefanescu
25m 57s
25m 57s
Trouble with mutation Claude Code #332: Issue comment #545 (comment) created by claude bot
1s
1s
Trouble with mutation Claude Code #331: Issue comment #545 (comment) created by andreistefanescu
35m 0s
35m 0s
panic: unexpected 0 destinations for operation TraceLocal(0) Claude Code #330: Issue comment #544 (comment) created by claude bot
1s
1s
panic: unexpected 0 destinations for operation TraceLocal(0) Claude Code #329: Issue comment #544 (comment) created by andreistefanescu
25m 51s
25m 51s
uninterpreted by default Claude Code #328: Issue comment #547 (comment) created by claude bot
1s
1s
uninterpreted by default Claude Code #327: Issue comment #547 (comment) created by andreistefanescu
47m 52s
47m 52s
How to include multiple extra BPL files? Claude Code #326: Issue comment #548 (comment) created by claude bot
1s
1s
How to include multiple extra BPL files? Claude Code #325: Issue #548 assigned by andreistefanescu
1s
1s
How to include multiple extra BPL files? Claude Code #324: Issue comment #548 (comment) created by andreistefanescu
10m 40s
10m 40s
How to include multiple extra BPL files? Claude Code #323: Issue #548 opened by msaaltink
1s
1s
Add support for run-on=local option in prove attribute Claude Code #322: Issue comment #484 (comment) created by claude bot
1s
1s
Add support for run-on=local option in prove attribute Claude Code #321: Issue comment #484 (comment) created by cos
12m 25s
12m 25s