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

Copilot code review Copilot code review #6: by Copilot AI
3m 42s refs/pull/11/head
refs/pull/11/head
3m 42s
Copilot code review Copilot code review #5: by Copilot AI
3m 1s refs/pull/12/head
refs/pull/12/head
3m 1s
fixup! Enable to handle some promoted constants .github/workflows/ci.yml #74: Commit 9ec096e pushed by coord-e
48s promoted-constants
promoted-constants
48s
Copilot code review Copilot code review #4: by Copilot AI
3m 40s refs/pull/13/head
refs/pull/13/head
3m 40s
Revert "Implement Eq and Hash for Type" .github/workflows/ci.yml #73: Commit 5219f3b pushed by coord-e
49s subst-body
subst-body
49s
Copilot code review Copilot code review #3: by Copilot AI
1m 59s refs/pull/12/head
refs/pull/12/head
1m 59s
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
Copilot code review Copilot code review #2: by Copilot AI
2m 41s refs/pull/11/head
refs/pull/11/head
2m 41s
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
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 #8 from coord-e/params .github/workflows/ci.yml #63: Commit ad2262c pushed by coord-e
1m 23s main
main
1m 23s
Copilot code review Copilot code review #1: by Copilot AI
3m 8s refs/pull/8/head
refs/pull/8/head
3m 8s
Add many more test cases .github/workflows/ci.yml #62: Commit 818bd1f pushed by coord-e
1m 5s params
params
1m 5s
Fixes to allow nested polymorphic calls .github/workflows/ci.yml #61: Commit 188f993 pushed by coord-e
1m 13s params
params
1m 13s
Enable to handle unannotated polymorphic function .github/workflows/ci.yml #60: Commit 62b3a6a pushed by coord-e
47s params
params
47s
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 #9 from coord-e/type-param-shift .github/workflows/ci.yml #59: Commit 896c25c pushed by coord-e
1m 29s main
main
1m 29s
Enhance docs .github/workflows/ci.yml #58: Commit 18bbbee pushed by coord-e
48s type-param-shift
type-param-shift
48s