Skip to content

Actions: effekt-lang/effekt

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,762 workflow runs
1,762 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: Make Case studies work in JIT
Continuous Integration #3066: Pull request #295 synchronize by marzipankaiser
October 19, 2023 19:38 10m 11s feature/jit-casestudies
October 19, 2023 19:38 10m 11s
WIP: Fix parser for mlton
Continuous Integration #3065: Commit 89addab pushed by marzipankaiser
October 19, 2023 19:38 10m 50s feature/jit-casestudies
October 19, 2023 19:38 10m 50s
Jit
Continuous Integration #3064: Pull request #134 synchronize by marzipankaiser
October 19, 2023 15:26 11m 20s jit
jit
October 19, 2023 15:26 11m 20s
Disable Optimizer for JIT
Continuous Integration #3063: Commit cb306fd pushed by marzipankaiser
October 19, 2023 15:25 11m 13s jit
jit
October 19, 2023 15:25 11m 13s
Draft: Make Case studies work in JIT
Continuous Integration #3062: Pull request #295 opened by marzipankaiser
October 19, 2023 15:25 12m 51s feature/jit-casestudies
October 19, 2023 15:25 12m 51s
Make the case studies lexer/parser/anf/prettyprinter work with JIT
Continuous Integration #3061: Commit d558719 pushed by marzipankaiser
October 19, 2023 15:21 9m 25s feature/jit-casestudies
October 19, 2023 15:21 9m 25s
Minor code improvements
Continuous Integration #3060: Commit 9073fa4 pushed by marzipankaiser
October 19, 2023 15:17 7m 20s partial-type-signatures-bsc-handin-version
October 19, 2023 15:17 7m 20s
Minor code improvements
Continuous Integration #3059: Commit 9073fa4 pushed by MattisKra
October 19, 2023 12:28 8m 7s feature/partial-type-signatures
October 19, 2023 12:28 8m 7s
init array with default values
Continuous Integration #3058: Commit 593ab8f pushed by IR0NSIGHT
October 19, 2023 11:14 11m 29s feature/init-array-default-values
October 19, 2023 11:14 11m 29s
Improves examples
Continuous Integration #3057: Commit c8acc66 pushed by MattisKra
October 19, 2023 11:14 8m 25s feature/partial-type-signatures
October 19, 2023 11:14 8m 25s
Rework --compile and add a seperate --build option
Continuous Integration #3056: Pull request #294 opened by dvdvgt
October 18, 2023 16:50 11m 43s feature/compile-option
October 18, 2023 16:50 11m 43s
add build flag
Continuous Integration #3055: Commit dc507aa pushed by dvdvgt
October 18, 2023 16:39 14m 11s feature/compile-option
October 18, 2023 16:39 14m 11s
split process of evaluating and building
Continuous Integration #3054: Commit 2183ce2 pushed by dvdvgt
October 18, 2023 16:07 14m 39s feature/compile-option
October 18, 2023 16:07 14m 39s
Improves examples
Continuous Integration #3053: Commit 8976dd7 pushed by MattisKra
October 18, 2023 15:04 8m 36s feature/partial-type-signatures
October 18, 2023 15:04 8m 36s
Jit
Continuous Integration #3052: Pull request #134 synchronize by marzipankaiser
October 17, 2023 09:42 11m 52s jit
jit
October 17, 2023 09:42 11m 52s
Merge branch 'master' into jit
Continuous Integration #3051: Commit 3a8bd7a pushed by marzipankaiser
October 17, 2023 09:42 10m 11s jit
jit
October 17, 2023 09:42 10m 11s
JIT: Use state using evidence(-ish)
Continuous Integration #3050: Commit 3080244 pushed by marzipankaiser
October 17, 2023 09:27 13m 2s jit
jit
October 17, 2023 09:27 13m 2s
early for loop implementation
Continuous Integration #3049: Pull request #292 opened by IR0NSIGHT
October 15, 2023 12:39 2m 51s feature/forloop
October 15, 2023 12:39 2m 51s
early for loop implementation
Continuous Integration #3048: Commit facd7d3 pushed by IR0NSIGHT
October 15, 2023 12:35 3m 13s feature/forloop
October 15, 2023 12:35 3m 13s
Bump version
Continuous Integration #3047: Commit 523e11b pushed by IR0NSIGHT
October 15, 2023 12:06 12m 24s feature/forloop
October 15, 2023 12:06 12m 24s
bug workaround, regions
Continuous Integration #3046: Commit 87b06b3 pushed by IR0NSIGHT
October 15, 2023 11:30 10m 43s feature/fasteffekt
October 15, 2023 11:30 10m 43s
Lexer: match escape sequences in strings
Continuous Integration #3045: Pull request #290 opened by dvdvgt
October 13, 2023 09:54 11m 18s fix/escape-quotes
October 13, 2023 09:54 11m 18s
change redex such that it also matches escape sequences
Continuous Integration #3044: Commit 21912a8 pushed by dvdvgt
October 13, 2023 09:50 13m 22s fix/escape-quotes
October 13, 2023 09:50 13m 22s
Bump version
Continuous Integration #3043: Commit 523e11b pushed by dvdvgt
October 13, 2023 09:48 11m 9s fix/escape-quotes
October 13, 2023 09:48 11m 9s
Continuous Integration
Continuous Integration #3042: by b-studios
October 9, 2023 15:04 4m 57s higher-order-effects
October 9, 2023 15:04 4m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.