Skip to content

Actions: aiken-lang/aiken

Actions

Nix Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
1,261 workflow runs
1,261 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor fix to optimization to actually detect vars that are just force… Nix Build #2206: Commit 1075be1 pushed by MicroProofs
January 17, 2025 04:34 12m 13s main
main
January 17, 2025 04:34 12m 13s
Oops left a todo Nix Build #2205: Commit 91b6e6d pushed by MicroProofs
January 16, 2025 02:34 12m 26s main
main
January 16, 2025 02:34 12m 26s
Clippy fix Nix Build #2204: Commit ade50dd pushed by MicroProofs
January 15, 2025 11:28 12m 6s main
main
January 15, 2025 11:28 12m 6s
Update script context handler to do less work with only fallback. Als… Nix Build #2203: Commit a9bedda pushed by MicroProofs
January 15, 2025 11:27 12m 11s main
main
January 15, 2025 11:27 12m 11s
Ran fmt Nix Build #2202: Commit 0bf42e9 pushed by Riley-Kilgore
January 14, 2025 13:48 13m 4s benchmarking-wip
benchmarking-wip
January 14, 2025 13:48 13m 4s
Move acceptance test 117 to 118 Nix Build #2201: Commit 231d0ce pushed by Riley-Kilgore
January 14, 2025 13:40 12m 41s benchmarking-wip
benchmarking-wip
January 14, 2025 13:40 12m 41s
Addressed comments on benchmarking PR Nix Build #2200: Commit c7657ce pushed by Riley-Kilgore
January 14, 2025 13:16 12m 49s benchmarking-wip
benchmarking-wip
January 14, 2025 13:16 12m 49s
Push down functions that aren't dependent on the group in front. Nix Build #2199: Commit 6d2e388 pushed by MicroProofs
January 12, 2025 09:45 12m 9s main
main
January 12, 2025 09:45 12m 9s
Handle case where write_bits is used without being applied Nix Build #2198: Commit d559e38 pushed by MicroProofs
January 12, 2025 09:43 11m 57s main
main
January 12, 2025 09:43 11m 57s
Push down functions that aren't dependent on the group in front. Nix Build #2197: Commit 6d2e388 pushed by MicroProofs
January 11, 2025 17:39 12m 8s funtion_body_split
funtion_body_split
January 11, 2025 17:39 12m 8s
New optimization to split independent lam function applications to en… Nix Build #2196: Commit 09ddec6 pushed by MicroProofs
January 11, 2025 12:09 12m 10s funtion_body_split
funtion_body_split
January 11, 2025 12:09 12m 10s
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 Nix Build #2194: Commit c130796 pushed by MicroProofs
January 11, 2025 12:06 12m 33s main
main
January 11, 2025 12:06 12m 33s
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
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
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
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
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
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
DecodeUtf8 is not error safe Nix Build #2186: Commit f1e6e41 pushed by MicroProofs
January 9, 2025 14:28 12m 48s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 14:28 12m 48s
Make sure clean up doesn't add case and constr to comp time eval. Als… Nix Build #2185: Commit 44931f2 pushed by MicroProofs
January 9, 2025 14:24 12m 11s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 14:24 12m 11s
Add case constr for applies greater than 2 optimization Nix Build #2184: Commit b662b55 pushed by MicroProofs
January 9, 2025 10:45 12m 19s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 10:45 12m 19s
Remove some prints and switch an uneeded isize to usize since it can'… Nix Build #2183: Commit 1f35f4a pushed by MicroProofs
January 9, 2025 09:08 12m 40s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 09:08 12m 40s
Inline now handles (if cond then body else error) patterns. Nix Build #2182: Commit c44d9a1 pushed by MicroProofs
January 9, 2025 08:48 12m 28s write-bits-plus-other-optimize
write-bits-plus-other-optimize
January 9, 2025 08:48 12m 28s