Skip to content

Actions: cicada-lang/lambda

Actions

Node.js CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[lang0] execute -- should not return void -- to catch sum type
Node.js CI #337: Commit 6653354 pushed by xieyuheng
March 31, 2024 23:36 24s master
March 31, 2024 23:36 24s
[lang1] execute -- should not return void -- to catch sum type
Node.js CI #336: Commit e1a0981 pushed by xieyuheng
March 31, 2024 23:35 24s master
March 31, 2024 23:35 24s
[lang0] Env should not be a class
Node.js CI #335: Commit e788d4b pushed by xieyuheng
March 31, 2024 23:28 26s master
March 31, 2024 23:28 26s
up
Node.js CI #334: Commit b8cb93f pushed by xieyuheng
March 31, 2024 10:04 28s master
March 31, 2024 10:04 28s
[lang0] 支持 (let) 作为语法糖 -- 向 lang1 靠近
Node.js CI #333: Commit d7054c3 pushed by xieyuheng
March 31, 2024 06:51 28s master
March 31, 2024 06:51 28s
0.3.0
Node.js CI #332: Commit 38b4c5c pushed by xieyuheng
March 30, 2024 18:46 23s master
March 30, 2024 18:46 23s
up
Node.js CI #331: Commit 1bde439 pushed by xieyuheng
March 30, 2024 18:46 24s master
March 30, 2024 18:46 24s
[docs/lang1] explicit-substitution.md 重写为中文
Node.js CI #330: Commit 876a605 pushed by xieyuheng
March 30, 2024 18:39 21s master
March 30, 2024 18:39 21s
March 30, 2024 17:22 17s
0.2.8
Node.js CI #328: Commit bebcd4c pushed by xieyuheng
March 30, 2024 17:20 19s master
March 30, 2024 17:20 19s
[docs/lang0] remove (fix) & (fixpoint)
Node.js CI #327: Commit a9b6453 pushed by xieyuheng
March 30, 2024 17:19 19s master
March 30, 2024 17:19 19s
March 30, 2024 17:12 25s
up
Node.js CI #324: Commit af3e979 pushed by xieyuheng
March 30, 2024 10:36 28s master
March 30, 2024 10:36 28s
ambr wrapper wrap
Node.js CI #323: Commit a02493d pushed by xieyuheng
March 30, 2024 10:31 24s master
March 30, 2024 10:31 24s
[lang0] remove value/equivalent.ts -- use equivalent/
Node.js CI #322: Commit f78b9df pushed by xieyuheng
March 30, 2024 07:28 24s master
March 30, 2024 07:28 24s
up
Node.js CI #321: Commit 63d3a1d pushed by xieyuheng
March 30, 2024 07:00 23s master
March 30, 2024 07:00 23s
up
Node.js CI #320: Commit 7ecb2fb pushed by xieyuheng
March 29, 2024 17:04 28s master
March 29, 2024 17:04 28s
up
Node.js CI #319: Commit 62ee914 pushed by xieyuheng
March 29, 2024 16:59 29s master
March 29, 2024 16:59 29s
Revert "[docs/lang0] remove the builtin (fix)"
Node.js CI #318: Commit 3fe20b8 pushed by xieyuheng
March 29, 2024 16:58 25s master
March 29, 2024 16:58 25s
[docs/lang0] remove the builtin (fix)
Node.js CI #317: Commit 54026ff pushed by xieyuheng
March 29, 2024 16:48 19s master
March 29, 2024 16:48 19s
[docs/lang0] remove examples from README.md
Node.js CI #316: Commit 0575cda pushed by xieyuheng
March 29, 2024 16:43 32s master
March 29, 2024 16:43 32s
up
Node.js CI #315: Commit 137e843 pushed by xieyuheng
March 28, 2024 20:46 27s master
March 28, 2024 20:46 27s
up
Node.js CI #314: Commit 111d217 pushed by xieyuheng
March 28, 2024 20:46 28s master
March 28, 2024 20:46 28s
up
Node.js CI #313: Commit e3c890d pushed by xieyuheng
March 28, 2024 20:44 25s master
March 28, 2024 20:44 25s