Skip to content

Actions: cicada-lang/inet-cute

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
598 workflow runs
598 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[docs] update the syntax the monoid article -- use end instead of [] Node.js CI #278: Commit 3f9ada1 pushed by xieyuheng
August 7, 2023 09:56 30s master
master
August 7, 2023 09:56 30s
[docs] update the syntax the monoid article -- $$name for typed loc… Node.js CI #277: Commit 48d134e pushed by xieyuheng
August 7, 2023 09:50 38s master
master
August 7, 2023 09:50 38s
[docs] designs/ -- change extension to .mono Node.js CI #276: Commit 8a21799 pushed by xieyuheng
August 7, 2023 09:48 29s master
master
August 7, 2023 09:48 29s
mv examples/ to designs/ Node.js CI #275: Commit 99ee970 pushed by xieyuheng
August 7, 2023 09:46 34s master
master
August 7, 2023 09:46 34s
update the syntax the monoid article -- note about check Node.js CI #274: Commit a3ce30d pushed by xieyuheng
August 7, 2023 09:43 38s master
master
August 7, 2023 09:43 38s
update the syntax the monoid article -- use <infer> for applying th… Node.js CI #273: Commit b853d79 pushed by xieyuheng
August 7, 2023 09:27 30s master
master
August 7, 2023 09:27 30s
up Node.js CI #272: Commit 6119e64 pushed by xieyuheng
August 7, 2023 08:51 37s master
master
August 7, 2023 08:51 37s
0.1.2 Node.js CI #271: Commit 2c33497 pushed by xieyuheng
August 7, 2023 08:42 31s master
master
August 7, 2023 08:42 31s
0.1.1 Node.js CI #270: Commit 48e8193 pushed by xieyuheng
August 7, 2023 08:42 39s master
master
August 7, 2023 08:42 39s
copy example from study/adventure/jojo Node.js CI #269: Commit 39875ed pushed by xieyuheng
August 7, 2023 08:37 26s master
master
August 7, 2023 08:37 26s
move type-system-as-homomorphism-between-monoids.md to this repo Node.js CI #268: Commit b4b8054 pushed by xieyuheng
August 7, 2023 08:35 51s master
master
August 7, 2023 08:35 51s
update README.md Node.js CI #267: Commit f0c4812 pushed by xieyuheng
August 7, 2023 08:31 28s master
master
August 7, 2023 08:31 28s
change project name to monoid -- .mono as file extension Node.js CI #266: Commit d0fee55 pushed by xieyuheng
August 7, 2023 08:29 33s master
master
August 7, 2023 08:29 33s
ambr localSignedTypes locals Node.js CI #265: Commit fb1c3ae pushed by xieyuheng
August 7, 2023 08:07 31s master
master
August 7, 2023 08:07 31s
rename Env.ports to Env.stack Node.js CI #264: Commit 1ba7651 pushed by xieyuheng
August 7, 2023 08:06 42s master
master
August 7, 2023 08:06 42s
ambr variableCounter patternVarCounter Node.js CI #263: Commit 1abce3a pushed by xieyuheng
August 7, 2023 08:05 32s master
master
August 7, 2023 08:05 32s
ambr TypeVar PatternVar Node.js CI #262: Commit 27ad9cd pushed by xieyuheng
August 7, 2023 08:04 33s master
master
August 7, 2023 08:04 33s
rename net to env Node.js CI #261: Commit ed6f92f pushed by xieyuheng
August 7, 2023 07:52 28s master
master
August 7, 2023 07:52 28s
rename Net to Env Node.js CI #260: Commit f2f23eb pushed by xieyuheng
August 7, 2023 07:39 36s master
master
August 7, 2023 07:39 36s
remove unnecessary -- from tests Node.js CI #259: Commit 330779c pushed by xieyuheng
August 7, 2023 07:36 36s master
master
August 7, 2023 07:36 36s
node drop optional ; Node.js CI #258: Commit b1bf1d8 pushed by xieyuheng
August 7, 2023 07:35 34s master
master
August 7, 2023 07:35 34s
node -- input should be optional -- like in claim Node.js CI #257: Commit 555ec5e pushed by xieyuheng
August 7, 2023 07:34 34s master
master
August 7, 2023 07:34 34s
remove "stmt:elim" from grammar Node.js CI #256: Commit bd6662f pushed by xieyuheng
August 7, 2023 07:31 31s master
master
August 7, 2023 07:31 31s
Local -- linear local variable should always use $name -- first o… Node.js CI #255: Commit 948aa62 pushed by xieyuheng
August 7, 2023 07:31 30s master
master
August 7, 2023 07:31 30s
rename localPorts to locals Node.js CI #254: Commit dbd26ac pushed by xieyuheng
August 7, 2023 07:27 40s master
master
August 7, 2023 07:27 40s
ProTip! You can narrow down the results and go further in time using created:<2023-08-07 or the other filters available.