Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Changes to lexer to keep clippy happy
Nix Build #2214: Commit cd49aca pushed by Riley-Kilgore
January 22, 2025 18:29 12m 53s benchmarking-wip
January 22, 2025 18:29 12m 53s
Added Benchmarking; Added Sampler to Prelude for Benchmarking
Tests #2131: Pull request #1071 synchronize by Riley-Kilgore
January 22, 2025 18:23 5m 46s benchmarking-wip
January 22, 2025 18:23 5m 46s
Added Benchmarking; Added Sampler to Prelude for Benchmarking
Release #455: Pull request #1071 synchronize by Riley-Kilgore
January 22, 2025 18:23 26s benchmarking-wip
January 22, 2025 18:23 26s
rename acceptance test in aiken.toml
Nix Build #2213: Commit 181da7a pushed by Riley-Kilgore
January 22, 2025 18:23 13m 0s benchmarking-wip
January 22, 2025 18:23 13m 0s
Added Benchmarking; Added Sampler to Prelude for Benchmarking
Tests #2130: Pull request #1071 synchronize by Riley-Kilgore
January 22, 2025 18:20 4m 48s benchmarking-wip
January 22, 2025 18:20 4m 48s
Added Benchmarking; Added Sampler to Prelude for Benchmarking
Release #454: Pull request #1071 synchronize by Riley-Kilgore
January 22, 2025 18:20 27s benchmarking-wip
January 22, 2025 18:20 27s
Fix benchmarking and cleanup for PR
Nix Build #2212: Commit 013684a pushed by Riley-Kilgore
January 22, 2025 18:20 12m 46s benchmarking-wip
January 22, 2025 18:20 12m 46s
chore: Release
Tests #2129: Commit b25afa2 pushed by MicroProofs
January 21, 2025 16:57 4m 56s main
January 21, 2025 16:57 4m 56s
chore: Release
Nix Build #2211: Commit b25afa2 pushed by MicroProofs
January 21, 2025 16:57 12m 21s main
January 21, 2025 16:57 12m 21s
chore: Release
Nix Build #2210: Commit b25afa2 pushed by MicroProofs
January 21, 2025 16:57 12m 33s v1.1.10
January 21, 2025 16:57 12m 33s
chore: Release
Release #453: Commit b25afa2 pushed by MicroProofs
January 21, 2025 16:57 13m 45s v1.1.10
January 21, 2025 16:57 13m 45s
Update Changelog for 1.1.10
Nix Build #2209: Commit 07b0d80 pushed by MicroProofs
January 21, 2025 16:46 12m 20s main
January 21, 2025 16:46 12m 20s
Update Changelog for 1.1.10
Tests #2128: Commit 07b0d80 pushed by MicroProofs
January 21, 2025 16:46 4m 47s main
January 21, 2025 16:46 4m 47s
WIP dump
Nix Build #2208: Commit 851c92d pushed by Riley-Kilgore
January 21, 2025 06:41 12m 34s tcr
tcr
January 21, 2025 06:41 12m 34s
Update Changelog
Tests #2127: Commit e08476b pushed by MicroProofs
January 21, 2025 04:26 5m 13s main
January 21, 2025 04:26 5m 13s
Update Changelog
Nix Build #2207: Commit e08476b pushed by MicroProofs
January 21, 2025 04:26 12m 20s main
January 21, 2025 04:26 12m 20s
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
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
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
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
January 15, 2025 11:28 12m 6s
Clippy fix
Tests #2124: Commit ade50dd pushed by MicroProofs
January 15, 2025 11:28 5m 24s main
January 15, 2025 11:28 5m 24s
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
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
January 14, 2025 13:48 4m 50s