Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Support user-defined predicate call in annotation (#22) .github/workflows/ci.yml #126: Commit bd871bf pushed by coeff-aij
1m 18s main
main
1m 18s
Support user-defined predicate call in annotation (#22) .github/workflows/docs.yml #16: Commit bd871bf pushed by coeff-aij
48s main
main
48s
Support user-defined predicate call in annotation .github/workflows/ci.yml #125: Pull request #22 synchronize by coeff-aij
1m 16s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 16s
Support user-defined predicate call in annotation .github/workflows/ci.yml #124: Pull request #22 synchronize by coeff-aij
1m 2s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 2s
Support user-defined predicate call in annotation .github/workflows/ci.yml #123: Pull request #22 synchronize by coeff-aij
57s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
57s
Support user-defined predicate call in annotation .github/workflows/ci.yml #122: Pull request #22 synchronize by coeff-aij
57s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
57s
Insert raw commands into .smt2 file with #![raw_command()] attribute … .github/workflows/docs.yml #15: Commit cd26f00 pushed by coeff-aij
43s main
main
43s
Insert raw commands into .smt2 file with #![raw_command()] attribute … .github/workflows/ci.yml #121: Commit cd26f00 pushed by coeff-aij
55s main
main
55s
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #120: Pull request #21 synchronize by coeff-aij
1m 13s coeff-aij:raw-define
coeff-aij:raw-define
1m 13s
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #119: Pull request #21 synchronize by coeff-aij
1m 9s coeff-aij:raw-define
coeff-aij:raw-define
1m 9s
Support user-defined predicate call in annotation .github/workflows/ci.yml #118: Pull request #22 synchronize by coeff-aij
1m 0s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 0s
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #117: Pull request #21 synchronize by coeff-aij
1m 6s coeff-aij:raw-define
coeff-aij:raw-define
1m 6s
Support user-defined predicate call in annotation .github/workflows/ci.yml #116: Pull request #22 synchronize by coeff-aij
Action required coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
Action required
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #115: Pull request #21 synchronize by coeff-aij
Action required coeff-aij:raw-define
coeff-aij:raw-define
Action required
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #114: Pull request #21 synchronize by coeff-aij
Action required coeff-aij:raw-define
coeff-aij:raw-define
Action required
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #113: Pull request #21 synchronize by coeff-aij
Action required coeff-aij:raw-define
coeff-aij:raw-define
Action required
Support user-defined predicate call in annotation .github/workflows/ci.yml #112: Pull request #22 synchronize by coeff-aij
1m 17s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 17s
Run CI workflow on pull_request .github/workflows/ci.yml #110: Commit 0951406 pushed by coord-e
1m 14s main
main
1m 14s
Run CI workflow on pull_request .github/workflows/docs.yml #14: Commit 0951406 pushed by coord-e
1m 9s main
main
1m 9s
Add more extern specs .github/workflows/ci.yml #109: Commit 9e74e7a pushed by coord-e
1m 2s std-specs
std-specs
1m 2s