Skip to content

Actions: effekt-lang/effekt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,915 workflow runs
2,915 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add benchmarks for compiling sequent calculus CI #6503: Pull request #1121 opened by b-studios
August 28, 2025 12:20 25m 1s expand-vm
expand-vm
August 28, 2025 12:20 25m 1s
Add benchmarks for compiling sequent calculus Check every stdlib module is compiled (acme) #347: Pull request #1121 opened by b-studios
August 28, 2025 12:20 9s expand-vm
expand-vm
August 28, 2025 12:20 9s
Include the FileUri in Holes CI #6502: Pull request #1120 synchronize by JakubSchwenkbeck
August 28, 2025 09:53 16m 9s JakubSchwenkbeck:lsp/file-uri
JakubSchwenkbeck:lsp/file-uri
August 28, 2025 09:53 16m 9s
Include the FileUri in Holes CI #6501: Pull request #1120 opened by JakubSchwenkbeck
August 28, 2025 09:05 14m 49s JakubSchwenkbeck:lsp/file-uri
JakubSchwenkbeck:lsp/file-uri
August 28, 2025 09:05 14m 49s
Very WIP: Implement Monomorphization optimization CI #6500: Pull request #1024 synchronize by mattisboeckle
August 28, 2025 07:55 3m 43s mono
mono
August 28, 2025 07:55 3m 43s
Very WIP: Implement Monomorphization optimization CI #6499: Pull request #1024 synchronize by mattisboeckle
August 28, 2025 06:53 3m 31s mono
mono
August 28, 2025 06:53 3m 31s
Concurrency primitives Check every stdlib module is compiled (acme) #346: Pull request #1052 synchronize by phischu
August 27, 2025 14:48 11s concurrency
concurrency
August 27, 2025 14:48 11s
Concurrency primitives CI #6498: Pull request #1052 synchronize by phischu
August 27, 2025 14:48 14m 58s concurrency
concurrency
August 27, 2025 14:48 14m 58s
Renormalize directly again (#1119) CI #6497: Commit b5453f8 pushed by phischu
August 27, 2025 14:47 14m 33s master
master
August 27, 2025 14:47 14m 33s
Renormalize directly again CI #6496: Pull request #1119 opened by b-studios
August 27, 2025 14:16 24m 29s refactor/optimize-again-directly
refactor/optimize-again-directly
August 27, 2025 14:16 24m 29s
Try to fix performance regression introduced by a0033bf (#1111) CI #6495: Commit 0fa4d8f pushed by b-studios
August 27, 2025 13:52 13m 14s master
master
August 27, 2025 13:52 13m 14s
Try to fix performance regression introduced by a0033bf CI #6494: Pull request #1111 synchronize by b-studios
August 27, 2025 13:33 16m 37s fix/performance-regression
fix/performance-regression
August 27, 2025 13:33 16m 37s
Delete core expressions CI #6493: Pull request #1117 synchronize by phischu
August 27, 2025 13:30 27m 34s refactor/extern_impure_app
refactor/extern_impure_app
August 27, 2025 13:30 27m 34s
Delete core expressions CI #6492: Pull request #1117 synchronize by phischu
August 27, 2025 13:28 39m 48s refactor/extern_impure_app
refactor/extern_impure_app
August 27, 2025 13:28 39m 48s
Delete core expressions CI #6491: Pull request #1117 synchronize by phischu
August 27, 2025 13:26 3m 52s refactor/extern_impure_app
refactor/extern_impure_app
August 27, 2025 13:26 3m 52s
Try to fix performance regression introduced by a0033bf CI #6490: Pull request #1111 synchronize by b-studios
August 27, 2025 13:13 23m 8s fix/performance-regression
fix/performance-regression
August 27, 2025 13:13 23m 8s
Delete core expressions CI #6489: Pull request #1117 synchronize by phischu
August 27, 2025 13:11 3m 46s refactor/extern_impure_app
refactor/extern_impure_app
August 27, 2025 13:11 3m 46s
Delete core expressions CI #6488: Pull request #1117 opened by phischu
August 27, 2025 10:12 2m 54s refactor/extern_impure_app
refactor/extern_impure_app
August 27, 2025 10:12 2m 54s
Try to fix performance regression introduced by a0033bf CI #6487: Pull request #1111 synchronize by b-studios
August 27, 2025 10:10 13m 45s fix/performance-regression
fix/performance-regression
August 27, 2025 10:10 13m 45s
Try to fix performance regression introduced by a0033bf CI #6486: Pull request #1111 synchronize by b-studios
August 27, 2025 09:58 10m 49s fix/performance-regression
fix/performance-regression
August 27, 2025 09:58 10m 49s
Parse capture annotation syntax for (extern) function definitions CI #6485: Pull request #1109 synchronize by b-studios
August 27, 2025 09:32 24m 7s fix/capture-syntax
fix/capture-syntax
August 27, 2025 09:32 24m 7s
Parse capture annotation syntax for (extern) function definitions Check every stdlib module is compiled (acme) #345: Pull request #1109 synchronize by b-studios
August 27, 2025 09:32 9s fix/capture-syntax
fix/capture-syntax
August 27, 2025 09:32 9s
Parse capture annotation syntax for (extern) function definitions Check every stdlib module is compiled (acme) #344: Pull request #1109 synchronize by b-studios
August 27, 2025 09:28 6s fix/capture-syntax
fix/capture-syntax
August 27, 2025 09:28 6s
Parse capture annotation syntax for (extern) function definitions CI #6484: Pull request #1109 synchronize by b-studios
August 27, 2025 09:28 13m 35s fix/capture-syntax
fix/capture-syntax
August 27, 2025 09:28 13m 35s
Parse capture annotation syntax for (extern) function definitions Check every stdlib module is compiled (acme) #343: Pull request #1109 synchronize by b-studios
August 27, 2025 09:26 7s fix/capture-syntax
fix/capture-syntax
August 27, 2025 09:26 7s