Skip to content

Actions: cicada-lang/inet-cute

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
466 workflow runs
466 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

interact -- take InteractOptions -- with optional checking Node.js CI #353: Commit d32d387 pushed by xieyuheng
August 9, 2023 10:26 34s master
master
August 9, 2023 10:26 34s
move run/interact to interact/ Node.js CI #352: Commit 886199d pushed by xieyuheng
August 9, 2023 10:24 36s master
master
August 9, 2023 10:24 36s
Checking has substitution for unifyTypes Node.js CI #351: Commit 5c8d10f pushed by xieyuheng
August 9, 2023 10:23 34s master
master
August 9, 2023 10:23 34s
[check] ComposeOptions take checking?: Checking Node.js CI #350: Commit d7a7ba2 pushed by xieyuheng
August 9, 2023 10:23 33s master
master
August 9, 2023 10:23 33s
up Node.js CI #349: Commit 83540e8 pushed by xieyuheng
August 9, 2023 09:42 28s master
master
August 9, 2023 09:42 28s
[maybe] remove cut Node.js CI #348: Commit 59460fa pushed by xieyuheng
August 9, 2023 09:26 28s master
master
August 9, 2023 09:26 28s
move method from env/ to utils/ Node.js CI #347: Commit 52c5ab7 pushed by xieyuheng
August 9, 2023 09:23 40s master
master
August 9, 2023 09:23 40s
update todo Node.js CI #346: Commit 5deb2d4 pushed by xieyuheng
August 8, 2023 19:55 28s master
master
August 8, 2023 19:55 28s
up Node.js CI #345: Commit bf70664 pushed by xieyuheng
August 8, 2023 19:27 36s master
master
August 8, 2023 19:27 36s
rename show to begin Node.js CI #344: Commit 3f64970 pushed by xieyuheng
August 8, 2023 18:45 27s master
master
August 8, 2023 18:45 27s
remove run as a stmt Node.js CI #343: Commit 00f1a7d pushed by xieyuheng
August 8, 2023 18:44 34s master
master
August 8, 2023 18:44 34s
run should be a builtin function -- does not consume value Node.js CI #342: Commit b852c7a pushed by xieyuheng
August 8, 2023 18:42 38s master
master
August 8, 2023 18:42 38s
inspect -- if the element is a port, print the whole env (for now) Node.js CI #341: Commit 109de80 pushed by xieyuheng
August 8, 2023 18:30 30s master
master
August 8, 2023 18:30 30s
DefineType build arity from input words Node.js CI #340: Commit 942d949 pushed by xieyuheng
August 8, 2023 18:27 26s master
master
August 8, 2023 18:27 26s
node always with both input and output Node.js CI #339: Commit 9be4c77 pushed by xieyuheng
August 8, 2023 18:25 35s master
master
August 8, 2023 18:25 35s
claim always with both input and output Node.js CI #338: Commit 6d7d2e5 pushed by xieyuheng
August 8, 2023 18:23 38s master
master
August 8, 2023 18:23 38s
type always with both input and output Node.js CI #337: Commit 33cdbce pushed by xieyuheng
August 8, 2023 18:21 30s master
master
August 8, 2023 18:21 30s
TypeDefinition -- has input and output words Node.js CI #336: Commit fcea347 pushed by xieyuheng
August 8, 2023 18:20 29s master
master
August 8, 2023 18:20 29s
:label should be a Word -- Label -- to create Labeled Value… Node.js CI #335: Commit 0bb7b85 pushed by xieyuheng
August 8, 2023 18:11 34s master
master
August 8, 2023 18:11 34s
Labeled value has isImportant?: boolean Node.js CI #334: Commit 561b83a pushed by xieyuheng
August 8, 2023 18:03 30s master
master
August 8, 2023 18:03 30s
Value -- Labeled -- value :label -- Labeled(value, :label) Node.js CI #333: Commit 247a1d4 pushed by xieyuheng
August 8, 2023 17:58 32s master
master
August 8, 2023 17:58 32s
remove SignedType from Value Node.js CI #332: Commit 28f86bb pushed by xieyuheng
August 8, 2023 17:52 33s master
master
August 8, 2023 17:52 33s
remove ctx/ Node.js CI #331: Commit fd6fee5 pushed by xieyuheng
August 8, 2023 17:44 34s master
master
August 8, 2023 17:44 34s
functions about unify should take Substitution instead of Ctx Node.js CI #330: Commit f51c165 pushed by xieyuheng
August 8, 2023 17:42 31s master
master
August 8, 2023 17:42 31s
remove code about type checking Node.js CI #329: Commit 15a651c pushed by xieyuheng
August 8, 2023 17:39 33s master
master
August 8, 2023 17:39 33s
ProTip! You can narrow down the results and go further in time using created:<2023-08-08 or the other filters available.