Skip to content

Actions: aiken-lang/stdlib

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bitwise math
Continuous Integration #425: Pull request #107 synchronize by KtorZ
March 2, 2025 12:28 42s bitwise-math
March 2, 2025 12:28 42s
document & fix foldl2, also add foldr2
Continuous Integration #424: Commit a550603 pushed by KtorZ
March 1, 2025 15:12 34s main
March 1, 2025 15:12 34s
Bitwise math
Continuous Integration #423: Pull request #107 synchronize by MicroProofs
February 26, 2025 18:08 42s bitwise-math
February 26, 2025 18:08 42s
Bitwise math
Continuous Integration #422: Pull request #107 synchronize by MicroProofs
February 26, 2025 16:12 37s bitwise-math
February 26, 2025 16:12 37s
Also rework assets.{flatten_with} to use scott-encoding.
Continuous Integration #421: Commit 4618aed pushed by rvcas
February 22, 2025 02:22 33s main
February 22, 2025 02:22 33s
Scott encoding alternative for dict functions
Continuous Integration #420: Pull request #109 synchronize by KtorZ
February 21, 2025 14:18 39s scott-encoding-impl
February 21, 2025 14:18 39s
Scott encoding alternative for dict functions
Continuous Integration #419: Pull request #109 synchronize by KtorZ
February 21, 2025 14:07 38s scott-encoding-impl
February 21, 2025 14:07 38s
Scott encoding alternative for dict functions
Continuous Integration #418: Pull request #109 synchronize by KtorZ
February 21, 2025 13:53 41s scott-encoding-impl
February 21, 2025 13:53 41s
Scott encoding alternative for dict functions
Continuous Integration #417: Pull request #109 synchronize by KtorZ
February 21, 2025 13:47 35s scott-encoding-impl
February 21, 2025 13:47 35s
Scott encoding alternative for dict functions
Continuous Integration #416: Pull request #109 synchronize by KtorZ
February 21, 2025 13:16 36s scott-encoding-impl
February 21, 2025 13:16 36s
Bump min Aiken version in stdlib, and fix warnings.
Continuous Integration #415: Commit 5c80142 pushed by KtorZ
February 21, 2025 12:36 42s main
February 21, 2025 12:36 42s
Scott encoding alternative for dict functions
Continuous Integration #414: Pull request #109 opened by MicroProofs
February 20, 2025 19:01 39s scott-encoding-impl
February 20, 2025 19:01 39s
Bitwise math
Continuous Integration #413: Pull request #107 synchronize by MicroProofs
February 20, 2025 17:29 46s bitwise-math
February 20, 2025 17:29 46s
Bitwise math
Continuous Integration #412: Pull request #107 synchronize by MicroProofs
February 20, 2025 16:44 37s bitwise-math
February 20, 2025 16:44 37s
Bitwise math
Continuous Integration #410: Pull request #107 opened by MicroProofs
February 19, 2025 22:10 41s bitwise-math
February 19, 2025 22:10 41s
Bitwise math
Continuous Integration #409: Pull request #106 synchronize by logicalmechanism
February 19, 2025 05:57 41s logicalmechanism:bitwise-math
February 19, 2025 05:57 41s
Bitwise math
Continuous Integration #408: Pull request #106 synchronize by logicalmechanism
February 19, 2025 05:36 37s logicalmechanism:bitwise-math
February 19, 2025 05:36 37s
Bitwise math
Continuous Integration #407: Pull request #106 synchronize by logicalmechanism
February 19, 2025 05:18 34s logicalmechanism:bitwise-math
February 19, 2025 05:18 34s
Bitwise math
Continuous Integration #406: Pull request #106 synchronize by logicalmechanism
February 19, 2025 05:07 34s logicalmechanism:bitwise-math
February 19, 2025 05:07 34s
Bitwise math
Continuous Integration #405: Pull request #106 synchronize by logicalmechanism
February 19, 2025 04:59 39s logicalmechanism:bitwise-math
February 19, 2025 04:59 39s
Bitwise math
Continuous Integration #404: Pull request #106 opened by logicalmechanism
February 19, 2025 04:21 41s logicalmechanism:bitwise-math
February 19, 2025 04:21 41s
workflow: use upload-pages-artifact v3
Continuous Integration #403: Commit 36a1467 pushed by KtorZ
February 12, 2025 10:32 36s main
February 12, 2025 10:32 36s
Update github workflow.
Continuous Integration #402: Commit a340760 pushed by KtorZ
February 12, 2025 09:58 13s main
February 12, 2025 09:58 13s
Update README.md's compatibility matrix with latest releases.
Continuous Integration #401: Commit ab38c7a pushed by KtorZ
February 11, 2025 13:28 13s main
February 11, 2025 13:28 13s