Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,836 workflow runs
2,836 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… Tests #2126: Commit 1075be1 pushed by MicroProofs
January 17, 2025 04:34 4m 44s main
main
January 17, 2025 04:34 4m 44s
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 Tests #2125: Commit 91b6e6d pushed by MicroProofs
January 16, 2025 02:34 4m 44s main
main
January 16, 2025 02:34 4m 44s
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
Clippy fix Tests #2124: Commit ade50dd pushed by MicroProofs
January 15, 2025 11:28 5m 24s main
main
January 15, 2025 11:28 5m 24s
Update script context handler to do less work with only fallback. Als… Tests #2123: Commit a9bedda pushed by MicroProofs
January 15, 2025 11:27 6m 49s main
main
January 15, 2025 11:27 6m 49s
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
Added Benchmarking; Added Sampler to Prelude for Benchmarking Tests #2122: Pull request #1071 synchronize by Riley-Kilgore
January 14, 2025 13:48 4m 50s benchmarking-wip
benchmarking-wip
January 14, 2025 13:48 4m 50s
Added Benchmarking; Added Sampler to Prelude for Benchmarking Release #452: Pull request #1071 synchronize by Riley-Kilgore
January 14, 2025 13:48 25s benchmarking-wip
benchmarking-wip
January 14, 2025 13:48 25s
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
Added Benchmarking; Added Sampler to Prelude for Benchmarking Release #451: Pull request #1071 synchronize by Riley-Kilgore
January 14, 2025 13:40 21s benchmarking-wip
benchmarking-wip
January 14, 2025 13:40 21s
Added Benchmarking; Added Sampler to Prelude for Benchmarking Tests #2121: Pull request #1071 synchronize by Riley-Kilgore
January 14, 2025 13:40 4m 44s benchmarking-wip
benchmarking-wip
January 14, 2025 13:40 4m 44s
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
Push down functions that aren't dependent on the group in front. Tests #2120: Commit 6d2e388 pushed by MicroProofs
January 12, 2025 09:45 4m 28s main
main
January 12, 2025 09:45 4m 28s
Handle case where write_bits is used without being applied Tests #2119: Commit d559e38 pushed by MicroProofs
January 12, 2025 09:43 4m 40s main
main
January 12, 2025 09:43 4m 40s
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
Split function body application from name in some cases Tests #2118: Pull request #1083 synchronize by MicroProofs
January 11, 2025 17:39 4m 52s funtion_body_split
funtion_body_split
January 11, 2025 17:39 4m 52s
Split function body application from name in some cases Release #450: Pull request #1083 synchronize by MicroProofs
January 11, 2025 17:39 20s funtion_body_split
funtion_body_split
January 11, 2025 17:39 20s
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
Split function body application from name in some cases Release #449: Pull request #1083 synchronize by MicroProofs
January 11, 2025 12:09 21s funtion_body_split
funtion_body_split
January 11, 2025 12:09 21s
Split function body application from name in some cases Tests #2117: Pull request #1083 synchronize by MicroProofs
January 11, 2025 12:09 4m 43s funtion_body_split
funtion_body_split
January 11, 2025 12:09 4m 43s
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