Skip to content

Actions: coord-e/thrust

Actions

.github/workflows/docs.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Support user-defined predicate call in annotation (#22) .github/workflows/docs.yml #16: Commit bd871bf pushed by coeff-aij
48s main
main
48s
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
Run CI workflow on pull_request .github/workflows/docs.yml #14: Commit 0951406 pushed by coord-e
1m 9s main
main
1m 9s
Merge pull request #19 from coord-e/more-annot-2 .github/workflows/docs.yml #13: Commit 1a17cb3 pushed by coord-e
44s main
main
44s
Merge pull request #15 from coord-e/extern-spec .github/workflows/docs.yml #12: Commit 0216270 pushed by coord-e
42s main
main
42s
Merge pull request #14 from coord-e/enum-in-annot .github/workflows/docs.yml #11: Commit b7160f2 pushed by coord-e
44s main
main
44s
Merge pull request #17 from coord-e/enum-on-demand .github/workflows/docs.yml #10: Commit b941a92 pushed by coord-e
48s main
main
48s
Merge pull request #16 from coord-e/unused-variant-predicate .github/workflows/docs.yml #9: Commit 827c750 pushed by coord-e
51s main
main
51s
Merge pull request #10 from coord-e/closures .github/workflows/docs.yml #8: Commit d11565d pushed by coord-e
1m 3s main
main
1m 3s
Merge pull request #13 from coord-e/subst-body .github/workflows/docs.yml #7: Commit b41df50 pushed by coord-e
42s main
main
42s
Merge pull request #12 from coord-e/promoted-constants .github/workflows/docs.yml #6: Commit 37b4fed pushed by coord-e
44s main
main
44s
Merge pull request #11 from coord-e/existential-in-annot .github/workflows/docs.yml #5: Commit 0a403a3 pushed by coord-e
48s main
main
48s
Merge pull request #8 from coord-e/params .github/workflows/docs.yml #4: Commit ad2262c pushed by coord-e
52s main
main
52s
Merge pull request #9 from coord-e/type-param-shift .github/workflows/docs.yml #3: Commit 896c25c pushed by coord-e
58s main
main
58s
Merge pull request #6 from coord-e/parse-ambig .github/workflows/docs.yml #2: Commit 855ff0a pushed by coord-e
47s main
main
47s
Merge pull request #7 from coord-e/docs-pages .github/workflows/docs.yml #1: Commit 6c93640 pushed by coord-e
1m 8s main
main
1m 8s