Skip to content

Actions: effekt-lang/effekt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow run results
21 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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
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
higher-order-effects
October 9, 2023 15:04 4m 57s
Bump version Continuous Integration #3041: Commit 523e11b pushed by IR0NSIGHT
October 4, 2023 11:15 14m 45s feature/fasteffekt
feature/fasteffekt
October 4, 2023 11:15 14m 45s
Pattern matching on multiple return values Continuous Integration #3040: Commit 50642f2 pushed by denhie
September 25, 2023 15:26 3m 54s feature/multiple-return-values
feature/multiple-return-values
September 25, 2023 15:26 3m 54s
ids function for Definitions returning a list of ids. Continuous Integration #3039: Commit 0f23b83 pushed by denhie
September 25, 2023 10:22 4m 1s feature/multiple-return-values
feature/multiple-return-values
September 25, 2023 10:22 4m 1s
Bump version Continuous Integration #3038: Commit 523e11b pushed by b-studios
September 24, 2023 21:43 12m 7s master
master
September 24, 2023 21:43 12m 7s
Release Artifacts Release Artifacts #26: by b-studios
September 24, 2023 21:43 2m 38s v0.2.1
v0.2.1
September 24, 2023 21:43 2m 38s
Continuous Integration Continuous Integration #3037: by b-studios
September 24, 2023 21:43 11m 52s v0.2.1
v0.2.1
September 24, 2023 21:43 11m 52s