Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,965 workflow runs
1,965 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
Use latest PCSat .github/workflows/ci.yml #1651: Pull request #275 opened by coord-e
In progress latest-pcsat
latest-pcsat
In progress
Support integer-to-integer casts .github/workflows/ci.yml #1650: Commit 5ba040d pushed by coord-e
In progress claude/vibrant-brown-tjmb6h
claude/vibrant-brown-tjmb6h
In progress
Type scalar constants of struct type .github/workflows/ci.yml #1649: Commit d422493 pushed by coord-e
In progress claude/gallant-pasteur-2djvt2
claude/gallant-pasteur-2djvt2
In progress
Extend timeout .github/workflows/ci.yml #1648: Commit bf7ddd3 pushed by coord-e
In progress latest-pcsat
latest-pcsat
In progress
Extend timeout .github/workflows/ci.yml #1647: Commit e9dda8c pushed by coord-e
2m 34s latest-pcsat
latest-pcsat
2m 34s
fixup! Use latest PCSat .github/workflows/ci.yml #1646: Commit 4a3f32d pushed by coord-e
2m 25s latest-pcsat
latest-pcsat
2m 25s
Revert "Remove unstable slice_split_first_mut_loop.rs cases for now" .github/workflows/ci.yml #1645: Commit 6ea7246 pushed by coord-e
38s latest-pcsat
latest-pcsat
38s
Merge pull request #114 from coord-e/claude/tender-ramanujan-F2ISx .github/workflows/ci.yml #1644: Commit 18d5401 pushed by coord-e
2m 15s main
main
2m 15s
Merge pull request #114 from coord-e/claude/tender-ramanujan-F2ISx .github/workflows/docs.yml #153: Commit 18d5401 pushed by coord-e
47s main
main
47s
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #1643: Pull request #114 synchronize by coord-e
2m 6s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
2m 6s
Collect sorts from user-defined predicate signatures and formulas .github/workflows/ci.yml #1642: Commit 14e3ff2 pushed by coord-e
1m 58s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 58s
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #1641: Pull request #114 synchronize by coord-e
2m 3s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
2m 3s
style fix .github/workflows/ci.yml #1640: Commit 26c5c32 pushed by coord-e
1m 59s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 59s
Support Rust syntax in thrust::predicate bodies .github/workflows/ci.yml #1639: Pull request #114 synchronize by coord-e
2m 55s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
2m 55s
Instantiate Rust predicates for each set of generic arguments .github/workflows/ci.yml #1638: Commit ed0fefa pushed by coord-e
1m 54s claude/tender-ramanujan-F2ISx
claude/tender-ramanujan-F2ISx
1m 54s
Merge pull request #274 from coord-e/fix/singleton-tuple-pretty-print .github/workflows/ci.yml #1637: Commit 74f503f pushed by coord-e
2m 22s main
main
2m 22s
Merge pull request #274 from coord-e/fix/singleton-tuple-pretty-print .github/workflows/docs.yml #152: Commit 74f503f pushed by coord-e
41s main
main
41s
Running Copilot Code Review Copilot #64: by Copilot AI
34s fix/singleton-tuple-pretty-print
fix/singleton-tuple-pretty-print
34s
Fix trailing newline in singleton tuple pretty printing .github/workflows/ci.yml #1636: Pull request #274 opened by coord-e
1m 44s fix/singleton-tuple-pretty-print
fix/singleton-tuple-pretty-print
1m 44s
Fix trailing newline in singleton tuple pretty printing .github/workflows/ci.yml #1635: Commit 1db8cae pushed by coord-e
1m 55s fix/singleton-tuple-pretty-print
fix/singleton-tuple-pretty-print
1m 55s
Merge pull request #273 from coord-e/clause-var-mapping .github/workflows/ci.yml #1634: Commit 5d49ccb pushed by coord-e
2m 2s main
main
2m 2s
Merge pull request #273 from coord-e/clause-var-mapping .github/workflows/docs.yml #151: Commit 5d49ccb pushed by coord-e
51s main
main
51s
Merge pull request #272 from coord-e/dependabot/cargo/syn-3.0.6 .github/workflows/ci.yml #1633: Commit 00fcbce pushed by coord-e
1m 40s main
main
1m 40s
Merge pull request #272 from coord-e/dependabot/cargo/syn-3.0.6 .github/workflows/docs.yml #150: Commit 00fcbce pushed by coord-e
46s main
main
46s
Running Copilot Code Review Copilot #63: by Copilot AI
8m 50s clause-var-mapping
clause-var-mapping
8m 50s