Skip to content

Actions: xieyuheng/lambda-lisp.js

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
245 workflow runs
245 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

up Node.js CI #640: Commit b2efe45 pushed by xieyuheng
July 19, 2025 15:01 21s master
master
July 19, 2025 15:01 21s
[refactor] improve Ctx of readback and equal -- usedNames is … Node.js CI #639: Commit a868d97 pushed by xieyuheng
July 19, 2025 14:59 22s master
master
July 19, 2025 14:59 22s
[diary] about practical set theory Node.js CI #638: Commit 463c3a3 pushed by xieyuheng
July 19, 2025 14:55 23s master
master
July 19, 2025 14:55 23s
up Node.js CI #637: Commit 03ed0bc pushed by xieyuheng
July 19, 2025 14:48 22s master
master
July 19, 2025 14:48 22s
0.3.7 Node.js CI #636: Commit bdc7ead pushed by xieyuheng
July 19, 2025 13:37 26s master
master
July 19, 2025 13:37 26s
up Node.js CI #635: Commit c6d239d pushed by xieyuheng
July 19, 2025 13:36 22s master
master
July 19, 2025 13:36 22s
[readback] readbackInCtx -- use ctxBlazeTrail and `ctxBlazeOccurr… Node.js CI #634: Commit 5925984 pushed by xieyuheng
July 19, 2025 13:36 25s master
master
July 19, 2025 13:36 25s
[readback] Ctx -- has trail Node.js CI #633: Commit 03d9e2d pushed by xieyuheng
July 19, 2025 13:26 22s master
master
July 19, 2025 13:26 22s
ambr Blase Blaze Node.js CI #632: Commit 6ae47cd pushed by xieyuheng
July 19, 2025 13:20 20s master
master
July 19, 2025 13:20 20s
ambr applyOneStep applyWithDelay Node.js CI #631: Commit 95a6ed9 pushed by xieyuheng
July 19, 2025 13:16 22s master
master
July 19, 2025 13:16 22s
[example] bring back factorial-half.lisp and turing -- no need la… Node.js CI #630: Commit 08c7c5c pushed by xieyuheng
July 19, 2025 13:10 23s master
master
July 19, 2025 13:10 23s
[example] move more notes to xieyuheng/lambda-calculus Node.js CI #629: Commit 2b47b59 pushed by xieyuheng
July 19, 2025 13:04 24s master
master
July 19, 2025 13:04 24s
[example] move typing of nat encoding to `person/xieyuheng/lambda-cal… Node.js CI #628: Commit b05bd3a pushed by xieyuheng
July 19, 2025 12:54 24s master
master
July 19, 2025 12:54 24s
up Node.js CI #627: Commit ebe43ee pushed by xieyuheng
July 19, 2025 12:33 20s master
master
July 19, 2025 12:33 20s
execute inline assert functions Node.js CI #626: Commit 3f6718d pushed by xieyuheng
July 19, 2025 12:30 23s master
master
July 19, 2025 12:30 23s
[stmt] assert-equal and assert-not-equal only support two args Node.js CI #625: Commit 4dfe476 pushed by xieyuheng
July 19, 2025 12:25 22s master
master
July 19, 2025 12:25 22s
[example] assert-not-same.error.lisp Node.js CI #624: Commit a978fd7 pushed by xieyuheng
July 19, 2025 12:13 22s master
master
July 19, 2025 12:13 22s
[example] assert-not-equal.error.lisp Node.js CI #623: Commit 984deb9 pushed by xieyuheng
July 19, 2025 12:13 22s master
master
July 19, 2025 12:13 22s
[example] error test about assertion fail Node.js CI #622: Commit bc6dbd2 pushed by xieyuheng
July 19, 2025 12:09 20s master
master
July 19, 2025 12:09 20s
[example] fix list.test.lisp Node.js CI #621: Commit 9bfb1ca pushed by xieyuheng
July 19, 2025 12:08 24s master
master
July 19, 2025 12:08 24s
[example] rename fix to fixpoint Node.js CI #620: Commit 4056eab pushed by xieyuheng
July 19, 2025 12:03 22s master
master
July 19, 2025 12:03 22s
[example] assert-equal only take two args Node.js CI #619: Commit 517b52d pushed by xieyuheng
July 19, 2025 12:02 25s master
master
July 19, 2025 12:02 25s
up Node.js CI #618: Commit 8489bd7 pushed by xieyuheng
July 19, 2025 11:44 21s master
master
July 19, 2025 11:44 21s
up Node.js CI #617: Commit 0fd6e71 pushed by xieyuheng
July 19, 2025 11:35 22s master
master
July 19, 2025 11:35 22s
记录实验成功 Node.js CI #616: Commit db67ce1 pushed by xieyuheng
July 19, 2025 11:30 21s master
master
July 19, 2025 11:30 21s