Skip to content

Actions: ElaraLang/elara

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs(stdlib): Remove mention of EList from readme compiling guide CI #137: Commit 624a156 pushed by bristermitten
June 1, 2024 15:28 9m 10s master
master
June 1, 2024 15:28 9m 10s
test(type-infer): Uncomment test for forall a. a tyapps CI #136: Commit e2786a0 pushed by bristermitten
June 1, 2024 15:24 8m 41s master
master
June 1, 2024 15:24 8m 41s
chore(stdlib): Remove random list from main file CI #135: Commit 85524a1 pushed by bristermitten
June 1, 2024 15:12 9m 5s master
master
June 1, 2024 15:12 9m 5s
build(nix): Update nix flake CI #134: Commit f95de02 pushed by bristermitten
May 31, 2024 13:51 19m 35s master
master
May 31, 2024 13:51 19m 35s
fix(codegen): Fix stringLength primitive not boxing integers CI #133: Commit 85fcf5a pushed by bristermitten
May 31, 2024 13:02 6m 1s master
master
May 31, 2024 13:02 6m 1s
fix(type-infer): Fix if/else type inference not always unifying corre… CI #132: Commit 33a72c2 pushed by bristermitten
May 31, 2024 12:58 6m 35s master
master
May 31, 2024 12:58 6m 35s
refactor(stdlib): Move ALL mentions of lists to the stdlib - they are… CI #131: Commit 8e3d367 pushed by bristermitten
May 30, 2024 21:48 8m 11s master
master
May 30, 2024 21:48 8m 11s
fix(type-infer): Fix constructor patterns not being completely solved CI #130: Commit 1dc7624 pushed by bristermitten
May 30, 2024 17:51 6m 13s master
master
May 30, 2024 17:51 6m 13s
feat(stdlib): Restore the stdlib to its former glo CI #129: Commit 0fc83e9 pushed by bristermitten
May 24, 2024 16:01 8m 51s master
master
May 24, 2024 16:01 8m 51s
fix: Fix code generation for constructor patterns with multiple argum… CI #128: Commit 6de3e20 pushed by bristermitten
May 24, 2024 15:49 9m 9s master
master
May 24, 2024 15:49 9m 9s
ci(nix): Add the old mission-control scripts back to the justfile CI #127: Commit 1508631 pushed by bristermitten
May 21, 2024 15:06 46m 0s master
master
May 21, 2024 15:06 46m 0s
this is a tough one CI #126: Commit e4e0082 pushed by bristermitten
May 10, 2024 14:50 9m 8s master
master
May 10, 2024 14:50 9m 8s
im not quite sure how but i fixed it CI #125: Commit 1bd1678 pushed by bristermitten
May 7, 2024 16:52 8m 44s master
master
May 7, 2024 16:52 8m 44s
oops thats the wrong cons operator CI #124: Commit 2ac4438 pushed by bristermitten
May 7, 2024 15:02 8m 55s master
master
May 7, 2024 15:02 8m 55s
add some examples to readme CI #123: Commit b103d70 pushed by bristermitten
May 7, 2024 15:02 8m 42s master
master
May 7, 2024 15:02 8m 42s
remove debug messages CI #122: Commit 3f91822 pushed by bristermitten
May 7, 2024 14:51 8m 42s master
master
May 7, 2024 14:51 8m 42s
cleanup the main xample CI #121: Commit 79c8060 pushed by bristermitten
May 7, 2024 14:50 9m 26s master
master
May 7, 2024 14:50 9m 26s
wow CI #120: Commit e0bd2aa pushed by bristermitten
May 6, 2024 14:22 9m 13s master
master
May 6, 2024 14:22 9m 13s
and unfortunately it's over again CI #119: Commit ee21691 pushed by bristermitten
May 5, 2024 19:20 9m 34s master
master
May 5, 2024 19:20 9m 34s
yeah im just goated CI #118: Commit 517a2b0 pushed by bristermitten
May 5, 2024 12:07 9m 5s master
master
May 5, 2024 12:07 9m 5s
a few improvements for nullary constructors, and correctly instantiat… CI #117: Commit b25c64f pushed by bristermitten
May 4, 2024 19:42 8m 59s master
master
May 4, 2024 19:42 8m 59s
basic data type works!! CI #116: Commit 579b300 pushed by bristermitten
May 4, 2024 19:24 18m 20s master
master
May 4, 2024 19:24 18m 20s
improve prettyprinting for type decls CI #115: Commit c296052 pushed by bristermitten
May 4, 2024 14:13 7m 32s master
master
May 4, 2024 14:13 7m 32s
okay well we've made it up to the hard bit CI #114: Commit a3db456 pushed by bristermitten
May 4, 2024 01:07 8m 50s master
master
May 4, 2024 01:07 8m 50s
Merge pull request #9 from ElaraLang/move-to-optics CI #113: Commit 96e2fc0 pushed by bristermitten
May 3, 2024 21:32 7m 6s master
master
May 3, 2024 21:32 7m 6s