Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,829 workflow runs
2,829 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow write_bits builtin and add a few more optimizations Tests #2116: Pull request #1082 synchronize by MicroProofs
January 11, 2025 12:08 5m 10s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 11, 2025 12:08 5m 10s
Allow write_bits builtin and add a few more optimizations Release #448: Pull request #1082 synchronize by MicroProofs
January 11, 2025 12:08 26s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 11, 2025 12:08 26s
Handle case where write_bits is used without being applied Nix Build #2195: Commit d559e38 pushed by MicroProofs
January 11, 2025 12:08 12m 17s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 11, 2025 12:08 12m 17s
Forgot this so I was reminded when trying to deserialize Bullet Tests #2115: Commit c130796 pushed by MicroProofs
January 11, 2025 12:06 5m 4s main
main
January 11, 2025 12:06 5m 4s
Forgot this so I was reminded when trying to deserialize Bullet Nix Build #2194: Commit c130796 pushed by MicroProofs
January 11, 2025 12:06 12m 33s main
main
January 11, 2025 12:06 12m 33s
Split function body application from name in some cases Release #447: Pull request #1083 opened by MicroProofs
January 11, 2025 10:37 23s funtion_body_split
funtion_body_split
January 11, 2025 10:37 23s
Split function body application from name in some cases Tests #2114: Pull request #1083 opened by MicroProofs
January 11, 2025 10:37 4m 31s funtion_body_split
funtion_body_split
January 11, 2025 10:37 4m 31s
New optimization to split independent lam function applications to en… Nix Build #2193: Commit dd08217 pushed by MicroProofs
January 11, 2025 10:23 11m 57s funtion_body_split
funtion_body_split
January 11, 2025 10:23 11m 57s
Allow write_bits builtin and add a few more optimizations Release #446: Pull request #1082 synchronize by MicroProofs
January 11, 2025 10:14 27s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 11, 2025 10:14 27s
Allow write_bits builtin and add a few more optimizations Tests #2113: Pull request #1082 synchronize by MicroProofs
January 11, 2025 10:14 4m 44s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 11, 2025 10:14 4m 44s
Handle case where write_bits is used without being applied Nix Build #2192: Commit 90fa7f6 pushed by MicroProofs
January 11, 2025 10:14 12m 3s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 11, 2025 10:14 12m 3s
New optimization to split independent lam function applications to en… Nix Build #2191: Commit 0c4ae22 pushed by MicroProofs
January 11, 2025 10:04 12m 18s funtion_body_split
funtion_body_split
January 11, 2025 10:04 12m 18s
Allow write_bits builtin and add a few more optimizations Release #445: Pull request #1082 synchronize by MicroProofs
January 10, 2025 06:48 19s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 06:48 19s
Allow write_bits builtin and add a few more optimizations Tests #2112: Pull request #1082 synchronize by MicroProofs
January 10, 2025 06:48 4m 29s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 06:48 4m 29s
Clippy fix Nix Build #2190: Commit d9533e8 pushed by MicroProofs
January 10, 2025 06:48 11m 59s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 06:48 11m 59s
Allow write_bits builtin and add a few more optimizations Tests #2111: Pull request #1082 synchronize by MicroProofs
January 10, 2025 06:03 4m 40s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 06:03 4m 40s
Allow write_bits builtin and add a few more optimizations Release #444: Pull request #1082 synchronize by MicroProofs
January 10, 2025 06:03 19s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 06:03 19s
Conformance tests should be using NamedDebruijn comparisons not name.… Nix Build #2189: Commit 199ec56 pushed by MicroProofs
January 10, 2025 06:03 12m 6s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 06:03 12m 6s
Allow write_bits builtin and add a few more optimizations Release #443: Pull request #1082 synchronize by MicroProofs
January 10, 2025 05:11 20s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 05:11 20s
Allow write_bits builtin and add a few more optimizations Tests #2110: Pull request #1082 synchronize by MicroProofs
January 10, 2025 05:11 4m 29s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 05:11 4m 29s
Add writeBits back in and use the optimizer to utilize the list conve… Nix Build #2188: Commit 011ec1b pushed by MicroProofs
January 10, 2025 05:11 12m 2s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 10, 2025 05:11 12m 2s
Allow write_bits builtin and add a few more optimizations Tests #2109: Pull request #1082 synchronize by MicroProofs
January 9, 2025 14:40 4m 42s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 14:40 4m 42s
Allow write_bits builtin and add a few more optimizations Release #442: Pull request #1082 synchronize by MicroProofs
January 9, 2025 14:40 24s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 14:40 24s
Oops did wrong comparison check on number of consecutive applies Nix Build #2187: Commit ea0959f pushed by MicroProofs
January 9, 2025 14:40 12m 18s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 14:40 12m 18s
Allow write_bits builtin and add a few more optimizations Release #441: Pull request #1082 synchronize by MicroProofs
January 9, 2025 14:28 1m 9s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 14:28 1m 9s