Skip to content

Actions: asymptotic-code/sui-prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Vector ext borrow or unknown Claude Code Review #295: Pull request #585 synchronize by andreistefanescu
27s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
27s
Vector ext borrow or unknown Code Quality Check #844: Pull request #585 synchronize by andreistefanescu
2m 6s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
2m 6s
Vector ext borrow or unknown Claude Code Review #294: Pull request #585 synchronize by andreistefanescu
32s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
32s
Vector ext borrow or unknown Sui-Prover Test Action #1652: Pull request #585 synchronize by andreistefanescu
10m 44s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
10m 44s
Vector ext borrow or unknown Code Quality Check #843: Pull request #585 synchronize by andreistefanescu
1m 54s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
1m 54s
Vector ext borrow or unknown Claude Code Review #293: Pull request #585 opened by andreistefanescu
8m 15s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
8m 15s
Vector ext borrow or unknown Code Quality Check #842: Pull request #585 opened by andreistefanescu
1m 49s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
1m 49s
Vector ext borrow or unknown Sui-Prover Test Action #1651: Pull request #585 opened by andreistefanescu
11m 20s vector-ext-borrow-or-unknown
vector-ext-borrow-or-unknown
11m 20s
fix: three Boogie prelude bugs (#584) Sui-Prover Test Action #1650: Commit 53a1908 pushed by andreistefanescu
26m 0s main
main
26m 0s
fix: three Boogie prelude bugs (#584) Create PR in Homebrew Repo to build binaries #339: Commit 53a1908 pushed by andreistefanescu
15s main
main
15s
fix: three Boogie prelude bugs Claude Code Review #292: Pull request #584 opened by andreistefanescu
6m 20s boogie-fixes
boogie-fixes
6m 20s
fix: three Boogie prelude bugs Code Quality Check #841: Pull request #584 opened by andreistefanescu
2m 11s boogie-fixes
boogie-fixes
2m 11s
fix: three Boogie prelude bugs Sui-Prover Test Action #1649: Pull request #584 opened by andreistefanescu
3h 2m 10s boogie-fixes
boogie-fixes
3h 2m 10s
Range count quantifier (#438) Sui-Prover Test Action #1648: Commit 4559f49 pushed by andreistefanescu
6h 10m 12s main
main
6h 10m 12s
Range count quantifier (#438) Create PR in Homebrew Repo to build binaries #338: Commit 4559f49 pushed by andreistefanescu
15s main
main
15s
panic related to enum Claude Code #433: Issue comment #452 (comment) created by peter941221
1s
1s
Add Lean 4 showcase proofs for issue 452 constructor lowering Claude Code #432: Issue comment #563 (comment) created by peter941221
1s
1s
Fix pure enum constructor lowering and improve enum match diagnostics Claude Code #431: Issue comment #562 (comment) created by peter941221
1s
1s
Fix pure enum constructor lowering and improve enum match diagnostics Claude Code #430: Issue comment #562 (comment) created by cursor bot
1s
1s
Fix pure enum constructor lowering and improve enum match diagnostics Sui-Prover Test Action #1647: 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 Code Quality Check #840: 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 #291: Pull request #562 synchronize by peter941221
Action required peter941221:fix-issue-452-pure-enum-lowering
peter941221:fix-issue-452-pure-enum-lowering
Action required
Range count quantifier Code Quality Check #839: Pull request #438 synchronize by andreistefanescu
33s range_count_quantifier
range_count_quantifier
33s
Range count quantifier Sui-Prover Test Action #1646: Pull request #438 synchronize by andreistefanescu
12h 45m 49s range_count_quantifier
range_count_quantifier
12h 45m 49s
Range count quantifier Claude Code Review #290: Pull request #438 synchronize by andreistefanescu
7m 36s range_count_quantifier
range_count_quantifier
7m 36s