Skip to content

Actions: effect-handlers/effect-handlers-bench

Actions

Koka

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
system_koka.yml
41 workflow runs
41 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Add the Effekt language Koka #168: Pull request #52 synchronize by phischu
October 9, 2023 14:35 3m 23s system_effekt
system_effekt
October 9, 2023 14:35 3m 23s
Add the Effekt language Koka #167: Pull request #52 opened by phischu
October 9, 2023 11:45 2m 25s system_effekt
system_effekt
October 9, 2023 11:45 2m 25s
Fix date Koka #166: Commit adeb6c7 pushed by dhil
September 27, 2023 13:47 2m 2s main
main
September 27, 2023 13:47 2m 2s
Announce Jesse Sigal as the new co-chair Koka #165: Commit 0e02351 pushed by dhil
September 27, 2023 13:47 2m 55s main
main
September 27, 2023 13:47 2m 55s
Benchmark nqueens with smaller input Koka #164: Commit 1cf3237 pushed by phischu
May 8, 2023 13:28 1m 2s main
main
May 8, 2023 13:28 1m 2s
Benchmark where we parse newline and dollar characters (#51) Koka #163: Commit d502ea0 pushed by phischu
May 8, 2023 12:22 58s main
main
May 8, 2023 12:22 58s
Benchmark where we parse newlines and dollar characters Koka #162: Pull request #51 synchronize by phischu
May 8, 2023 12:14 59s parsing_hashes
parsing_hashes
May 8, 2023 12:14 59s
Benchmark doubly recursive fibonacci (#50) Koka #161: Commit b481aac pushed by phischu
May 8, 2023 10:10 59s main
main
May 8, 2023 10:10 59s
Benchmark doubly recursive fibonacci Koka #160: Pull request #50 synchronize by phischu
May 8, 2023 10:04 1m 9s fibonacci_recursive
fibonacci_recursive
May 8, 2023 10:04 1m 9s
Handler sieve benchmark with a statically unbounded nesting of handle… Koka #159: Commit bfa6b4e pushed by phischu
May 8, 2023 10:02 54s main
main
May 8, 2023 10:02 54s
Handler sieve Koka #158: Pull request #47 synchronize by phischu
May 8, 2023 10:01 1m 7s handler_sieve
handler_sieve
May 8, 2023 10:01 1m 7s
Handler sieve Koka #157: Pull request #47 synchronize by phischu
May 8, 2023 09:48 1m 2s handler_sieve
handler_sieve
May 8, 2023 09:48 1m 2s
Handler sieve Koka #156: Pull request #47 synchronize by phischu
May 8, 2023 09:47 57s handler_sieve
handler_sieve
May 8, 2023 09:47 57s
Smaller number for resume nontail and small fixes (#49) Koka #155: Commit b02c11b pushed by phischu
May 8, 2023 09:44 53s main
main
May 8, 2023 09:44 53s
Smaller number for resume nontail and small fixes Koka #154: Pull request #49 synchronize by phischu
May 8, 2023 09:03 2m 43s se-tuebingen:smaller_resume_nontail
se-tuebingen:smaller_resume_nontail
May 8, 2023 09:03 2m 43s
Update benchmark availability Koka #153: Commit 63d0c8a pushed by phischu
May 8, 2023 09:01 2m 26s main
main
May 8, 2023 09:01 2m 26s