Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
857 workflow runs
857 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 #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
Support Self and generic variables in loop invariants .github/workflows/ci.yml #703: Pull request #99 synchronize by coord-e
1m 13s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 13s
thrust-macros: reuse model_where_predicates; carry host signature ver… .github/workflows/ci.yml #702: Commit 536f383 pushed by coord-e
1m 8s claude/vigilant-davinci-RiDYY
claude/vigilant-davinci-RiDYY
1m 8s
thrust-macros: reuse model_where_predicates; carry host signature ver… .github/workflows/ci.yml #701: Commit 536f383 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 #700: Pull request #93 synchronize by coeff-aij
1m 22s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 22s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #699: Pull request #93 synchronize by coeff-aij
1m 6s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 6s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #698: Pull request #93 synchronize by coeff-aij
42s coeff-aij:forall-sort
coeff-aij:forall-sort
42s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #697: Pull request #93 synchronize by coeff-aij
51s coeff-aij:forall-sort
coeff-aij:forall-sort
51s
Bump ui_test from 0.23.0 to 0.30.6 (#100) .github/workflows/docs.yml #74: Commit 76bc049 pushed by coord-e
50s main
main
50s
Bump ui_test from 0.23.0 to 0.30.6 (#100) .github/workflows/ci.yml #696: Commit 76bc049 pushed by coord-e
1m 25s main
main
1m 25s
Bump ui_test from 0.23.0 to 0.30.6 .github/workflows/ci.yml #695: Pull request #100 synchronize by coord-e
1m 16s dependabot/cargo/ui_test-0.30.6
dependabot/cargo/ui_test-0.30.6
1m 16s
Fix ui_test 0.30.6 compatibility: ignore output conflict by default .github/workflows/ci.yml #694: Commit aa86ad4 pushed by coord-e
1m 21s dependabot/cargo/ui_test-0.30.6
dependabot/cargo/ui_test-0.30.6
1m 21s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #693: Pull request #98 synchronize by coord-e
1m 16s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 16s
Handle paths/refs in refinement-type parser; strip nested refinements… .github/workflows/ci.yml #692: Commit d65014e pushed by coord-e
1m 17s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 17s
Support Self and generic variables in loop invariants .github/workflows/ci.yml #691: Pull request #99 synchronize by coord-e
1m 12s claude/loop-invariant-context-self-generics
claude/loop-invariant-context-self-generics
1m 12s