Skip to content

Actions: coord-e/thrust

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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/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
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/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
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/ci.yml #76: Commit 0a403a3 pushed by coord-e
56s main
main
56s
Test parsing existentials .github/workflows/ci.yml #75: Commit 9a6a2b7 pushed by coord-e
52s existential-in-annot
existential-in-annot
52s
fixup! Enable to handle some promoted constants .github/workflows/ci.yml #74: Commit 9ec096e pushed by coord-e
48s promoted-constants
promoted-constants
48s
Revert "Implement Eq and Hash for Type" .github/workflows/ci.yml #73: Commit 5219f3b pushed by coord-e
49s subst-body
subst-body
49s
Enable to handle some promoted constants .github/workflows/ci.yml #72: Commit 095e469 pushed by coord-e
47s promoted-constants
promoted-constants
47s
Test parsing existentials .github/workflows/ci.yml #71: Commit 5fce671 pushed by coord-e
55s existential-in-annot
existential-in-annot
55s
fixup! Parse existentials .github/workflows/ci.yml #70: Commit b27f79a pushed by coord-e
54s existential-in-annot
existential-in-annot
54s
Test parsing existentials .github/workflows/ci.yml #69: Commit fdd4295 pushed by coord-e
1m 17s existential-in-annot
existential-in-annot
1m 17s
Test parsing existentials .github/workflows/ci.yml #68: Commit 000ae9a pushed by coord-e
56s existential-and-enum-in-annot
existential-and-enum-in-annot
56s
Stop relaying TypeBuilder .github/workflows/ci.yml #67: Commit 6558e21 pushed by coord-e
57s closures
closures
57s
Test parsing existentials .github/workflows/ci.yml #66: Commit b09958a pushed by coord-e
1m 2s existential-and-enum-in-annot
existential-and-enum-in-annot
1m 2s
Ensure bb fn type params are sorted by locals .github/workflows/ci.yml #65: Commit c222080 pushed by coord-e
1m 1s closures
closures
1m 1s
Ensure bb fn type params are sorted by locals .github/workflows/ci.yml #64: Commit ab23313 pushed by coord-e
48s closures
closures
48s