Skip to content

Actions: cicada-lang/lambda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
333 workflow runs
333 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

up Node.js CI #462: Commit d67c687 pushed by xieyuheng
December 25, 2024 04:24 2m 35s master
master
December 25, 2024 04:24 2m 35s
up Node.js CI #461: Commit f9888fd pushed by xieyuheng
December 16, 2024 13:29 2m 42s master
master
December 16, 2024 13:29 2m 42s
up Node.js CI #460: Commit 15d3205 pushed by xieyuheng
December 16, 2024 13:26 28s master
master
December 16, 2024 13:26 28s
up Node.js CI #459: Commit 552fdce pushed by xieyuheng
December 16, 2024 13:20 26s master
master
December 16, 2024 13:20 26s
update typescript Node.js CI #458: Commit f16a70c pushed by xieyuheng
December 16, 2024 13:16 2m 36s master
master
December 16, 2024 13:16 2m 36s
up Node.js CI #457: Commit 4e8f3b3 pushed by xieyuheng
October 3, 2024 23:53 26s master
master
October 3, 2024 23:53 26s
up Node.js CI #456: Commit d1e23a1 pushed by xieyuheng
October 3, 2024 23:41 2m 37s master
master
October 3, 2024 23:41 2m 37s
move examples/ and tests/ out of lang/ Node.js CI #455: Commit deaa855 pushed by xieyuheng
October 3, 2024 23:38 2m 35s master
master
October 3, 2024 23:38 2m 35s
up Node.js CI #454: Commit b9a5328 pushed by xieyuheng
August 12, 2024 01:05 23s master
master
August 12, 2024 01:05 23s
format Node.js CI #453: Commit 1381b37 pushed by xieyuheng
August 5, 2024 12:32 37s master
master
August 5, 2024 12:32 37s
0.3.1 Node.js CI #452: Commit 7d63c04 pushed by xieyuheng
August 5, 2024 12:23 2m 33s master
master
August 5, 2024 12:23 2m 33s
up Node.js CI #451: Commit 6790233 pushed by xieyuheng
August 5, 2024 12:23 2m 34s master
master
August 5, 2024 12:23 2m 34s
rename test files Node.js CI #450: Commit e545f7c pushed by xieyuheng
August 5, 2024 12:22 38s master
master
August 5, 2024 12:22 38s
rename lang0 to lang Node.js CI #449: Commit d42ac2f pushed by xieyuheng
August 5, 2024 12:17 32s master
master
August 5, 2024 12:17 32s
remove lang1 Node.js CI #448: Commit 7ab0dcb pushed by xieyuheng
August 5, 2024 12:15 21s master
master
August 5, 2024 12:15 21s
将 clique 重新命名为 lambda Node.js CI #447: Commit 5e22213 pushed by xieyuheng
August 5, 2024 12:06 2m 38s master
master
August 5, 2024 12:06 2m 38s
lambda-encoding -- 修复各种 Nat 编码满足的公理 Node.js CI #446: Commit 1d72b4d pushed by xieyuheng
August 2, 2024 13:04 2m 41s master
master
August 2, 2024 13:04 2m 41s
up Node.js CI #445: Commit 82dd0f4 pushed by xieyuheng
May 27, 2024 19:06 25s master
master
May 27, 2024 19:06 25s
up Node.js CI #444: Commit 08b467a pushed by xieyuheng
May 27, 2024 19:06 28s master
master
May 27, 2024 19:06 28s
up Node.js CI #443: Commit 2eb2c8b pushed by xieyuheng
May 20, 2024 13:04 25s master
master
May 20, 2024 13:04 25s
2024-05-18-sexp-and-pure-lower-case-naming.md Node.js CI #442: Commit d1d2d7a pushed by xieyuheng
May 18, 2024 08:56 28s master
master
May 18, 2024 08:56 28s
up Node.js CI #441: Commit ddc3261 pushed by xieyuheng
May 18, 2024 06:48 25s master
master
May 18, 2024 06:48 25s
[lang1] rename freshen to globalFreshen Node.js CI #440: Commit c4abaf4 pushed by xieyuheng
May 17, 2024 12:43 31s master
master
May 17, 2024 12:43 31s
[lang1] rename substitutionKeepNames to substitutionTakeNames Node.js CI #439: Commit ac2ac7c pushed by xieyuheng
May 17, 2024 12:37 35s master
master
May 17, 2024 12:37 35s
up Node.js CI #438: Commit 9408594 pushed by xieyuheng
May 17, 2024 12:29 28s master
master
May 17, 2024 12:29 28s