Skip to content

Actions: aiken-lang/stdlib

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update lock file
Continuous Integration #400: Commit 355fb5b pushed by MicroProofs
January 21, 2025 04:11 40s main
January 21, 2025 04:11 40s
Update fuzz version
Continuous Integration #399: Commit 635a607 pushed by MicroProofs
January 21, 2025 04:10 42s main
January 21, 2025 04:10 42s
Update compatibility matrix
Continuous Integration #398: Commit 898f4fb pushed by KtorZ
December 13, 2024 16:29 38s main
December 13, 2024 16:29 38s
Merge branch 'release/v2.2.0'
Continuous Integration #397: Commit 49e00b8 pushed by KtorZ
December 13, 2024 16:25 36s main
December 13, 2024 16:25 36s
Continuous Integration
Continuous Integration #396: by KtorZ
December 13, 2024 16:22 1m 3s 2.2.0
December 13, 2024 16:22 1m 3s