Skip to content

Actions: TimWhiting/koka

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
136 workflow runs
136 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
open-resolve: cast only between matching tails Test #14: Commit 9c55695 pushed by TimWhiting
28m 31s dev
dev
28m 31s
open-resolve: cast only between matching tails Build Koka Playground #95: Commit 9c55695 pushed by TimWhiting
14m 56s dev
dev
14m 56s
kklib: mark a value thread-shared when it is published into a thread-… Test #13: Commit 046254c pushed by TimWhiting
29m 19s dev
dev
29m 19s
kklib: mark a value thread-shared when it is published into a thread-… Build Koka Playground #94: Commit 046254c pushed by TimWhiting
17m 5s dev
dev
17m 5s
Fix thread-shared reference count Test #12: Commit cf56076 pushed by TimWhiting
27m 39s dev
dev
27m 39s
Fix thread-shared reference count Build Koka Playground #93: Commit cf56076 pushed by TimWhiting
16m 22s dev
dev
16m 22s
Core interfaces: print multi-scrutinee branch patterns in source order Build Koka Playground #92: Commit 0be3eb0 pushed by TimWhiting
17m 48s dev
dev
17m 48s
Core interfaces: print multi-scrutinee branch patterns in source order Test #11: Commit 0be3eb0 pushed by TimWhiting
24m 53s dev
dev
24m 53s
A recursive type is never an automatic value type Build Koka Playground #91: Commit 5b2dd88 pushed by TimWhiting
17m 1s dev
dev
17m 1s
A recursive type is never an automatic value type Test #10: Commit 5b2dd88 pushed by TimWhiting
22m 27s dev
dev
22m 27s
parc-reuse: a function type has no fixed allocation size Build Koka Playground #90: Commit 64324ad pushed by TimWhiting
8m 24s dev
dev
8m 24s
parc-reuse: a function type has no fixed allocation size Test #9: Commit 64324ad pushed by TimWhiting
8m 17s dev
dev
8m 17s
specialize: drop the specialized parameters' infos from the new defin… Build Koka Playground #89: Commit 579644d pushed by TimWhiting
3m 30s dev
dev
3m 30s
specialize: drop the specialized parameters' infos from the new defin… Test #8: Commit 579644d pushed by TimWhiting
4m 27s dev
dev
4m 27s
test/lib/bslice: length, byte-at and join Test #7: Commit d3c2f59 pushed by TimWhiting
5m 28s dev
dev
5m 28s
test/lib/bslice: length, byte-at and join Build Koka Playground #88: Commit d3c2f59 pushed by TimWhiting
5m 18s dev
dev
5m 18s
Fix vfsCompose dropping the outer VFS Test #6: Commit e38005d pushed by TimWhiting
28m 42s dev
dev
28m 42s
Fix vfsCompose dropping the outer VFS Build Koka Playground #87: Commit e38005d pushed by TimWhiting
48m 12s dev
dev
48m 12s
Fix local inference Test #5: Commit a0e403d pushed by TimWhiting
50m 17s dev
dev
50m 17s
Fix local inference Build Koka Playground #86: Commit a0e403d pushed by TimWhiting
48m 3s dev
dev
48m 3s
Fix local inference Build Koka Playground #85: Commit 8d2b89e pushed by TimWhiting
7m 53s dev
dev
7m 53s
Fix local inference Test #4: Commit 8d2b89e pushed by TimWhiting
7m 35s dev
dev
7m 35s
Fix local inference Build Koka Playground #84: Commit 76da5ca pushed by TimWhiting
2m 27s dev
dev
2m 27s
Fix local inference Test #3: Commit 76da5ca pushed by TimWhiting
3m 26s dev
dev
3m 26s
Small bslice fixes Build Koka Playground #83: Commit f7dc863 pushed by TimWhiting
19m 5s dev
dev
19m 5s