Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix missing unbox .github/workflows/ci.yml #92: Commit 22fb4df pushed by coord-e
58s enum-on-demand
enum-on-demand
58s
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 #16 from coord-e/unused-variant-predicate .github/workflows/ci.yml #91: Commit 827c750 pushed by coord-e
1m 3s main
main
1m 3s
Copilot code review Copilot code review #9: by Copilot AI
3m 51s refs/pull/16/head
refs/pull/16/head
3m 51s
Add guard of discriminant when expanding variant field types .github/workflows/ci.yml #90: Commit 750b03a pushed by coord-e
59s unused-variant-predicate
unused-variant-predicate
59s
Add guard of discriminant when expanding variant field types .github/workflows/ci.yml #89: Commit 750b03a pushed by coord-e
1m 14s unsound-poly-variant
unsound-poly-variant
1m 14s
Copilot code review Copilot code review #8: by Copilot AI
4m 12s refs/pull/14/head
refs/pull/14/head
4m 12s
Add more test cases .github/workflows/ci.yml #88: Commit 86bbefa pushed by coord-e
52s enum-on-demand
enum-on-demand
52s
Fix unsoundness when expanding variant of polymorphic enum .github/workflows/ci.yml #87: Commit 32018f1 pushed by coord-e
1m 14s unused-variant-predicate
unused-variant-predicate
1m 14s
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 #10 from coord-e/closures .github/workflows/ci.yml #86: Commit d11565d pushed by coord-e
59s main
main
59s
Ensure bb fn type params are sorted by locals .github/workflows/ci.yml #85: Commit 9b2c3ed pushed by coord-e
57s closures
closures
57s
Implement #[thrust::extern_spec_fn] .github/workflows/ci.yml #84: Commit ed36445 pushed by coord-e
58s extern-spec
extern-spec
58s
Copilot code review Copilot code review #7: by Copilot AI
2m 6s refs/pull/10/head
refs/pull/10/head
2m 6s
Enable to parse enum constructors in annotations .github/workflows/ci.yml #83: Commit 984a392 pushed by coord-e
56s enum-in-annot
enum-in-annot
56s
Ensure bb fn type params are sorted by locals .github/workflows/ci.yml #82: Commit 3a0ccfe pushed by coord-e
1m 8s closures
closures
1m 8s
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 #13 from coord-e/subst-body .github/workflows/ci.yml #81: Commit b41df50 pushed by coord-e
54s main
main
54s
Revert "Implement Eq and Hash for Type" .github/workflows/ci.yml #80: Commit e008bff pushed by coord-e
50s subst-body
subst-body
50s
fixup! Instantiate body instead of using ParamTypeMapper .github/workflows/ci.yml #79: Commit 052563b pushed by coord-e
48s subst-body
subst-body
48s
Merge pull request #12 from coord-e/promoted-constants .github/workflows/ci.yml #78: Commit 37b4fed pushed by coord-e
51s main
main
51s
Merge pull request #12 from coord-e/promoted-constants .github/workflows/docs.yml #6: Commit 37b4fed pushed by coord-e
44s main
main
44s
Enable to handle some promoted constants .github/workflows/ci.yml #77: Commit 762cfab pushed by coord-e
50s promoted-constants
promoted-constants
50s
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 #11 from coord-e/existential-in-annot .github/workflows/ci.yml #76: Commit 0a403a3 pushed by coord-e
56s main
main
56s