Skip to content

Actions: kyay10/highKT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump version .github/workflows/build.yml #59: Commit 6ed6007 pushed by kyay10
4m 3s master
master
4m 3s
Upgrade yarn lock .github/workflows/build.yml #58: Commit 7f293c9 pushed by kyay10
3m 6s master
master
3m 6s
Remove wasm lock file .github/workflows/build.yml #57: Commit 4a887d3 pushed by kyay10
3m 15s master
master
3m 15s
Reformat with spotless and upgrade yarn lock .github/workflows/build.yml #56: Commit e8aa101 pushed by kyay10
3m 5s master
master
3m 5s
Use a structural approach to type inference .github/workflows/build.yml #55: Pull request #3 synchronize by kyay10
8m 9s structural
structural
8m 9s
Add klib ABI .github/workflows/build.yml #54: Commit 573badd pushed by kyay10
4m 54s master
master
4m 54s
Use a structural approach to type inference .github/workflows/build.yml #53: Pull request #3 synchronize by kyay10
5m 34s structural
structural
5m 34s
Use a structural approach to type inference .github/workflows/build.yml #52: Pull request #3 opened by kyay10
6m 12s structural
structural
6m 12s
Add arity check .github/workflows/build.yml #51: Commit 2f546b3 pushed by kyay10
7m 9s master
master
7m 9s
Reformat .github/workflows/build.yml #50: Commit df6e7f4 pushed by kyay10
11m 14s master
master
11m 14s
Make resolution see member scope of K types (#2) .github/workflows/build.yml #49: Commit e336cae pushed by kyay10
7m 13s master
master
7m 13s
Make resolution see member scope of K types .github/workflows/build.yml #48: Pull request #2 opened by kyay10
6m 32s member-scope
member-scope
6m 32s
Remove redundant K overrides .github/workflows/build.yml #47: Commit a7f4c17 pushed by kyay10
7m 29s master
master
7m 29s
Remove outdated TypeLambda handling in IR .github/workflows/build.yml #46: Commit dc98630 pushed by kyay10
6m 56s master
master
6m 56s
Cleanup .github/workflows/build.yml #45: Commit 79980c7 pushed by kyay10
6m 26s master
master
6m 26s
Only evaluate non-out type arguments .github/workflows/build.yml #44: Commit 42ea6fe pushed by kyay10
6m 51s master
master
6m 51s
Switch evaluation order to WHNF .github/workflows/build.yml #43: Commit fb41f72 pushed by kyay10
4m 44s master
master
4m 44s
Refactor refinement to handle attributes better .github/workflows/build.yml #42: Commit 7630702 pushed by kyay10
5m 45s master
master
5m 45s
Use ktfmt .github/workflows/build.yml #41: Commit 65947ba pushed by kyay10
8m 38s master
master
8m 38s
Try all options for contravariant type arguments .github/workflows/build.yml #40: Commit 1e7213d pushed by kyay10
7m 21s master
master
7m 21s
Remove TODO() usages in testData .github/workflows/build.yml #39: Commit e5c65e7 pushed by kyay10
5m 48s master
master
5m 48s
Add todo about contravariance supertypes .github/workflows/build.yml #38: Commit df0f9a5 pushed by kyay10
7m 21s master
master
7m 21s
Canonicalize based on abbreviated type and add relevant test .github/workflows/build.yml #37: Commit c8653f3 pushed by kyay10
8m 15s master
master
8m 15s
Consistently track expanded type .github/workflows/build.yml #36: Commit 312cd34 pushed by kyay10
4m 17s master
master
4m 17s
Simplify refinement.kt .github/workflows/build.yml #35: Commit f5a5ff8 pushed by kyay10
6m 53s master
master
6m 53s