Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
800 workflow runs
800 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
Merge pull request #29 from coord-e/coord-e/dependabot .github/workflows/docs.yml #20: Commit af9b33c pushed by coord-e
49s main
main
49s
Enable to run all specs in DevContainer .github/workflows/ci.yml #145: Pull request #27 synchronize by coord-e
1m 5s coord-e/include-pcsat-in-devcontainer
coord-e/include-pcsat-in-devcontainer
1m 5s
Enable to run all specs in DevContainer .github/workflows/ci.yml #144: Commit 59f4cfc pushed by coord-e
1m 1s coord-e/include-pcsat-in-devcontainer
coord-e/include-pcsat-in-devcontainer
1m 1s
Merge pull request #28 from coord-e/coord-e/rust-toolchain-ra .github/workflows/ci.yml #143: Commit fdc9868 pushed by coord-e
1m 6s main
main
1m 6s
Merge pull request #28 from coord-e/coord-e/rust-toolchain-ra .github/workflows/docs.yml #19: Commit fdc9868 pushed by coord-e
50s main
main
50s
Copilot code review Copilot code review #15: by Copilot AI
1m 23s refs/pull/29/head
refs/pull/29/head
1m 23s
Add Dependabot configuration .github/workflows/ci.yml #142: Pull request #29 opened by coord-e
1m 1s coord-e/dependabot
coord-e/dependabot
1m 1s
Add Dependabot configuration .github/workflows/ci.yml #141: Commit 2e6d8c9 pushed by coord-e
1m 5s coord-e/dependabot
coord-e/dependabot
1m 5s
Include rust-analyzer in rust-toolchain.toml .github/workflows/ci.yml #140: Pull request #28 opened by coord-e
1m 16s coord-e/rust-toolchain-ra
coord-e/rust-toolchain-ra
1m 16s
Include rust-analyzer in rust-toolchain.toml .github/workflows/ci.yml #139: Commit 872c08f pushed by coord-e
1m 4s coord-e/rust-toolchain-ra
coord-e/rust-toolchain-ra
1m 4s
Enable to run all specs in DevContainer .github/workflows/ci.yml #138: Pull request #27 opened by coord-e
1m 6s coord-e/include-pcsat-in-devcontainer
coord-e/include-pcsat-in-devcontainer
1m 6s
Copilot code review Copilot code review #14: by Copilot AI
5m 27s refs/pull/27/head
refs/pull/27/head
5m 27s
Enable to run all specs in DevContainer .github/workflows/ci.yml #137: Commit f1f0a53 pushed by coord-e
1m 7s coord-e/include-pcsat-in-devcontainer
coord-e/include-pcsat-in-devcontainer
1m 7s
Add annotation support for trait methods and verify that implementations satisfy them .github/workflows/ci.yml #136: Pull request #25 synchronize by coeff-aij
44s coeff-aij:annot-preds-trait
coeff-aij:annot-preds-trait
44s
Add annotation support for trait methods and verify that implementations satisfy them .github/workflows/ci.yml #135: Pull request #25 synchronize by coeff-aij
1m 7s coeff-aij:annot-preds-trait
coeff-aij:annot-preds-trait
1m 7s
Add annotation support for trait methods and verify that implementations satisfy them .github/workflows/ci.yml #134: Pull request #25 synchronize by coeff-aij
55s coeff-aij:annot-preds-trait
coeff-aij:annot-preds-trait
55s
Add annotation support for trait methods and verify that implementations satisfy them .github/workflows/ci.yml #133: Pull request #25 opened by coeff-aij
1m 14s coeff-aij:annot-preds-trait
coeff-aij:annot-preds-trait
1m 14s
Support defining predicates using #[thrust::predicate] attribute wi… .github/workflows/ci.yml #132: Commit 51084c6 pushed by coeff-aij
1m 3s main
main
1m 3s
Support defining predicates using #[thrust::predicate] attribute wi… .github/workflows/docs.yml #18: Commit 51084c6 pushed by coeff-aij
1m 0s main
main
1m 0s
Merge pull request #18 from coord-e/std-specs .github/workflows/docs.yml #17: Commit 7a5e42b pushed by coord-e
51s main
main
51s
Merge pull request #18 from coord-e/std-specs .github/workflows/ci.yml #131: Commit 7a5e42b pushed by coord-e
1m 23s main
main
1m 23s
Support defining predicates using #[thrust::predicate] attribute with fn statements .github/workflows/ci.yml #130: Pull request #23 synchronize by coeff-aij
1m 11s coeff-aij:annot-preds-define
coeff-aij:annot-preds-define
1m 11s
Support annotations for methods in impl blocks .github/workflows/ci.yml #129: Pull request #24 opened by coeff-aij
1m 2s coeff-aij:annot-preds-impl
coeff-aij:annot-preds-impl
1m 2s
Support defining predicates using #[thrust::predicate] attribute with fn statements .github/workflows/ci.yml #128: Pull request #23 synchronize by coeff-aij
54s coeff-aij:annot-preds-define
coeff-aij:annot-preds-define
54s
Support defining predicates using #[thrust::predicate] attribute with fn statements .github/workflows/ci.yml #127: Pull request #23 opened by coeff-aij
1m 13s coeff-aij:annot-preds-define
coeff-aij:annot-preds-define
1m 13s
ProTip! You can narrow down the results and go further in time using created:<2026-01-23 or the other filters available.