Skip to content

Actions: aiken-lang/prelude

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: remove elaboration on padding Continuous Integration #36: Commit 39846f1 pushed by rvcas
July 10, 2025 20:05 26s main
main
July 10, 2025 20:05 26s
Add Notes for Some of the Bitwise Operators Continuous Integration #35: Pull request #12 opened by keyan-m
July 6, 2025 21:28 19s keyan-m:enhance-docs
keyan-m:enhance-docs
July 6, 2025 21:28 19s
Merge pull request #11 from aiken-lang/as_data Continuous Integration #34: Commit b0bada6 pushed by KtorZ
April 27, 2025 01:45 24s main
main
April 27, 2025 01:45 24s
Document 'as_data' in prelude. Continuous Integration #33: Pull request #11 opened by KtorZ
April 21, 2025 05:41 12s as_data
as_data
April 21, 2025 05:41 12s
Alphabetically sort builtins. Continuous Integration #32: Commit fa71768 pushed by KtorZ
April 21, 2025 05:37 27s main
main
April 21, 2025 05:37 27s
Update builtin versions and add write_bits Continuous Integration #31: Commit 4e022d1 pushed by MicroProofs
February 20, 2025 17:16 44s main
main
February 20, 2025 17:16 44s
switch back to using setup-aiken in workflow. Continuous Integration #30: Commit 861176e pushed by KtorZ
February 18, 2025 16:03 50s main
main
February 18, 2025 16:03 50s
Fix return type for unconstr_data, actually being Pair Continuous Integration #29: Commit fffa846 pushed by KtorZ
February 18, 2025 16:00 3m 13s main
main
February 18, 2025 16:00 3m 13s
bump deploy-pages GitHub actions to v4 Continuous Integration #28: Commit fcef4a5 pushed by KtorZ
February 18, 2025 15:57 3m 13s main
main
February 18, 2025 15:57 3m 13s
fix type-signature annotation of ripemd_160 Continuous Integration #27: Commit fd64b39 pushed by KtorZ
February 18, 2025 15:49 5m 15s main
main
February 18, 2025 15:49 5m 15s
Add Sampler to prelude's types. Continuous Integration #26: Commit 9e86241 pushed by KtorZ
February 11, 2025 13:28 17s main
main
February 11, 2025 13:28 17s
document new builtins. Continuous Integration #25: Commit ed84fbc pushed by KtorZ
December 13, 2024 15:35 4m 54s main
main
December 13, 2024 15:35 4m 54s
Add 'Never' type to the prelude. Continuous Integration #24: Commit 1906506 pushed by KtorZ
September 1, 2024 17:32 4m 10s main
main
September 1, 2024 17:32 4m 10s
Add missing builtin keccak_256 Continuous Integration #23: Commit 653f323 pushed by KtorZ
September 1, 2024 17:03 4m 12s main
main
September 1, 2024 17:03 4m 12s
Adjust aiken.toml's version. Continuous Integration #22: Commit 52ec5a6 pushed by KtorZ
August 23, 2024 08:47 30s main
main
August 23, 2024 08:47 30s
Organize builtins, add blake2b-224, fix AList -> Pairs Continuous Integration #21: Commit e658c8a pushed by KtorZ
August 23, 2024 08:41 4m 16s main
main
August 23, 2024 08:41 4m 16s
Fix builtin Pair being documented as 2-tuples. Continuous Integration #20: Commit 2b3ec51 pushed by KtorZ
July 27, 2024 08:56 4m 40s main
main
July 27, 2024 08:56 4m 40s