Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,003 workflow runs
1,003 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
Weaken closure parameter for FnMut closures called via FnOnce .github/workflows/ci.yml #841: Pull request #120 synchronize by coord-e
1m 11s claude/issue-46-4zfjsz
claude/issue-46-4zfjsz
1m 11s
Move RustCallVisitor's scheduled drops into DropPoints .github/workflows/ci.yml #840: Commit f090b07 pushed by coord-e
1m 21s claude/issue-46-4zfjsz
claude/issue-46-4zfjsz
1m 21s
Add z3 4.16.0 Spacer regression hand-off analysis .github/workflows/ci.yml #839: Commit 9a9a824 pushed by coord-e
1m 13s claude/inspiring-thompson-06z5mf
claude/inspiring-thompson-06z5mf
1m 13s
feat: add support for statically-sized arrays and slices .github/workflows/ci.yml #838: Commit 6f49e19 pushed by coord-e
1m 19s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 19s
Route mut_recursive pass test through PCSat .github/workflows/ci.yml #837: Commit f7ccea9 pushed by coord-e
1m 36s claude/analyze-terminator-predicate-var-CFFwy
claude/analyze-terminator-predicate-var-CFFwy
1m 36s
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #836: Pull request #114 synchronize by coord-e
1m 11s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 11s
Convert trait predicate tests to Rust syntax .github/workflows/ci.yml #835: Commit 9c96cde pushed by coord-e
1m 13s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 13s
Resolve named struct fields in formula translation (#118) .github/workflows/ci.yml #834: Commit 1d85b18 pushed by coord-e
1m 33s main
main
1m 33s
Resolve named struct fields in formula translation (#118) .github/workflows/docs.yml #84: Commit 1d85b18 pushed by coord-e
57s main
main
57s
Running Copilot Code Review Copilot #13: by Copilot AI
5m 41s claude/named-field-formula-fn
claude/named-field-formula-fn
5m 41s
Resolve named struct fields in formula translation .github/workflows/ci.yml #833: Pull request #118 synchronize by coord-e
1m 35s claude/named-field-formula-fn
claude/named-field-formula-fn
1m 35s
Remove explanatory comments from struct-field tests .github/workflows/ci.yml #832: Commit bc17b74 pushed by coord-e
1m 29s claude/named-field-formula-fn
claude/named-field-formula-fn
1m 29s
Weaken closure parameter for FnMut closures called via FnOnce .github/workflows/ci.yml #831: Pull request #120 opened by coord-e
1m 32s claude/issue-46-4zfjsz
claude/issue-46-4zfjsz
1m 32s
Weaken closure parameter for FnMut closures called via FnOnce (#46) .github/workflows/ci.yml #830: Commit 5b83652 pushed by coord-e
1m 31s claude/issue-46-4zfjsz
claude/issue-46-4zfjsz
1m 31s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #829: 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 #828: Pull request #93 synchronize by coeff-aij
1m 1s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 1s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #827: Pull request #93 synchronize by coeff-aij
44s coeff-aij:forall-sort
coeff-aij:forall-sort
44s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #826: Pull request #93 synchronize by coeff-aij
44s coeff-aij:forall-sort
coeff-aij:forall-sort
44s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #825: Pull request #93 synchronize by coeff-aij
1m 2s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 2s
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #824: Pull request #114 synchronize by coord-e
1m 12s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 12s
Render predicate formulas via TermSortEnv; drop field dependency .github/workflows/ci.yml #823: Commit 107baae pushed by coord-e
1m 14s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 14s
Drop old annotation parser implementation .github/workflows/ci.yml #822: Pull request #117 synchronize by coord-e
1m 10s claude/beautiful-hypatia-u542oh
claude/beautiful-hypatia-u542oh
1m 10s
Apply cargo fmt .github/workflows/ci.yml #821: Commit 76812ba pushed by coord-e
1m 16s claude/beautiful-hypatia-u542oh
claude/beautiful-hypatia-u542oh
1m 16s
Resolve named struct fields in formula translation .github/workflows/ci.yml #820: Pull request #118 opened by coord-e
1m 13s claude/named-field-formula-fn
claude/named-field-formula-fn
1m 13s
Resolve named struct fields in formula translation .github/workflows/ci.yml #819: Commit 7fab3e8 pushed by coord-e
1m 14s claude/named-field-formula-fn
claude/named-field-formula-fn
1m 14s