Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
797 workflow runs
797 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
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #658: Pull request #93 synchronize by coeff-aij
43s coeff-aij:forall-sort
coeff-aij:forall-sort
43s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #657: Pull request #99 synchronize by coord-e
1m 14s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 14s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #656: Commit 4d56d1c pushed by coord-e
1m 8s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 8s
Dedupe TypePositionStep docs, fix leftover [i] syntax, separate annot… .github/workflows/ci.yml #655: Commit 6c7178b pushed by coord-e
1m 7s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 7s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #654: Pull request #99 synchronize by coord-e
1m 15s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 15s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #653: Commit b4844c6 pushed by coord-e
1m 14s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 14s
Add loop invariant annotations (minimal) (#95) .github/workflows/ci.yml #652: Commit c1aebbd pushed by coord-e
1m 8s main
main
1m 8s
Add loop invariant annotations (minimal) (#95) .github/workflows/docs.yml #73: Commit c1aebbd pushed by coord-e
44s main
main
44s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #651: Pull request #98 synchronize by coord-e
1m 14s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 14s
Test refinement_path on a generic ADT's element type .github/workflows/ci.yml #650: Commit f05b984 pushed by coord-e
1m 16s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 16s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #649: Pull request #99 synchronize by coord-e
1m 7s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 7s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #648: Commit 35176d6 pushed by coord-e
1m 6s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 6s
Running Copilot Code Review Copilot #4: by Copilot AI
4m 30s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
4m 30s
Implement loop invariant annotation .github/workflows/ci.yml #647: Pull request #95 synchronize by coord-e
1m 14s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 14s
Add loop invariant annotations (minimal) .github/workflows/ci.yml #646: Commit ca7f820 pushed by coord-e
1m 10s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 10s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #645: Pull request #99 synchronize by coord-e
1m 15s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 15s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #644: Commit 995ff18 pushed by coord-e
1m 7s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 7s
Implement loop invariant annotation .github/workflows/ci.yml #643: Pull request #95 synchronize by coord-e
1m 18s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 18s
Add loop invariant annotations (minimal) .github/workflows/ci.yml #642: Commit faaaa7c pushed by coord-e
1m 16s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 16s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #641: Pull request #99 synchronize by coord-e
1m 8s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 8s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #640: Commit 0605e6b pushed by coord-e
1m 12s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 12s
Implement loop invariant annotation .github/workflows/ci.yml #639: Pull request #95 synchronize by coord-e
1m 9s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 9s
Add loop invariant annotations (minimal) .github/workflows/ci.yml #638: Commit 3d93645 pushed by coord-e
1m 13s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 13s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #637: Pull request #99 synchronize by coord-e
1m 13s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 13s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #636: Commit abd3602 pushed by coord-e
1m 16s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 16s