Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
871 workflow runs
871 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
Support Self and generic variables in loop invariants (#99) .github/workflows/docs.yml #76: Commit 7d35fdb pushed by coord-e
48s main
main
48s
Support Self and generic variables in loop invariants (#99) .github/workflows/ci.yml #724: Commit 7d35fdb pushed by coord-e
1m 11s main
main
1m 11s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #723: Pull request #99 synchronize by coord-e
1m 11s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 11s
style fix .github/workflows/ci.yml #722: Commit 6ac6064 pushed by coord-e
1m 13s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 13s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #721: Pull request #93 synchronize by coeff-aij
1m 0s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 0s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #720: Pull request #102 opened by coord-e
1m 17s claude/vigilant-davinci-RiDYY
claude/vigilant-davinci-RiDYY
1m 17s
Support referring to closure pre-/post-conditions in specifications .github/workflows/ci.yml #719: Commit ff6f48d pushed by coord-e
1m 7s claude/exciting-cray-WmxI2
claude/exciting-cray-WmxI2
1m 7s
Support referring to closure pre-/post-conditions in specifications .github/workflows/ci.yml #718: Commit d92def7 pushed by coord-e
1m 18s claude/exciting-cray-WmxI2
claude/exciting-cray-WmxI2
1m 18s
Running Copilot Code Review Copilot #7: by Copilot AI
4m 59s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
4m 59s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #717: Pull request #99 synchronize by coord-e
1m 12s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 12s
style fix .github/workflows/ci.yml #716: Commit df7c40c pushed by coord-e
1m 19s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 19s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #715: Pull request #99 synchronize by coord-e
1m 12s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 12s
thrust-macros: reconcile rebase with main's fn_outer_item module .github/workflows/ci.yml #714: Commit bd80c7c pushed by coord-e
1m 14s claude/vigilant-davinci-RiDYY
claude/vigilant-davinci-RiDYY
1m 14s
thrust-macros: reconcile rebase with main's fn_outer_item module .github/workflows/ci.yml #713: Commit bd80c7c pushed by coord-e
1m 12s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 12s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #712: Pull request #93 synchronize by coeff-aij
1m 3s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 3s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #711: Pull request #93 synchronize by coeff-aij
1m 14s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 14s
Merge pull request #101 from coord-e/coord-e/separate-macros-lib .github/workflows/docs.yml #75: Commit 646323a pushed by coord-e
1m 58s main
main
1m 58s
Merge pull request #101 from coord-e/coord-e/separate-macros-lib .github/workflows/ci.yml #710: Commit 646323a pushed by coord-e
1m 10s main
main
1m 10s
Running Copilot Code Review Copilot #6: by Copilot AI
3m 0s coord-e/separate-macros-lib
coord-e/separate-macros-lib
3m 0s
thrust-macros: split lib.rs into context, invariant, and spec modules .github/workflows/ci.yml #709: Pull request #101 opened by coord-e
1m 11s coord-e/separate-macros-lib
coord-e/separate-macros-lib
1m 11s
thrust-macros: split lib.rs into context, invariant, and spec modules .github/workflows/ci.yml #708: Commit 6a04ecd pushed by coord-e
1m 14s coord-e/separate-macros-lib
coord-e/separate-macros-lib
1m 14s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #707: Pull request #99 synchronize by coord-e
1m 17s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 17s
style fix .github/workflows/ci.yml #706: Commit d9b6042 pushed by coord-e
1m 23s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 23s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #705: Pull request #98 synchronize by coord-e
1m 22s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 22s
Simplify generic-prefix scan and fold strip into the single parser pass .github/workflows/ci.yml #704: Commit 1f35265 pushed by coord-e
1m 38s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 38s