Skip to content

Actions: cicada-lang/lambda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[lang0] simplify freshen -- to only take set Node.js CI #437: Commit f8edd42 pushed by xieyuheng
May 17, 2024 12:28 32s master
master
May 17, 2024 12:28 32s
remove freshenNames Node.js CI #436: Commit 475667d pushed by xieyuheng
May 17, 2024 12:26 28s master
master
May 17, 2024 12:26 28s
2024-05-17-unification-without-occor-check.md Node.js CI #435: Commit 2601985 pushed by xieyuheng
May 17, 2024 12:15 23s master
master
May 17, 2024 12:15 23s
up Node.js CI #434: Commit 74784e4 pushed by xieyuheng
May 11, 2024 16:22 24s master
master
May 11, 2024 16:22 24s
up Node.js CI #433: Commit 5c4c64f pushed by xieyuheng
May 10, 2024 18:04 31s master
master
May 10, 2024 18:04 31s