Skip to content

Actions: aiken-lang/aiken

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,047 workflow runs
3,047 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Release Tests #2027: Commit 18054ee pushed by MicroProofs
November 13, 2024 20:25 4m 3s main
main
November 13, 2024 20:25 4m 3s
chore: Release Nix Build #2101: Commit 18054ee pushed by MicroProofs
November 13, 2024 20:25 12m 43s main
main
November 13, 2024 20:25 12m 43s
chore: Release Nix Build #2100: Commit 18054ee pushed by MicroProofs
November 13, 2024 20:25 12m 51s v1.1.6
v1.1.6
November 13, 2024 20:25 12m 51s
chore: Release Release #392: Commit 18054ee pushed by MicroProofs
November 13, 2024 20:25 9m 54s v1.1.6
v1.1.6
November 13, 2024 20:25 9m 54s
Update changelog for 1.1.6 Tests #2026: Commit dc38186 pushed by MicroProofs
November 13, 2024 20:17 4m 16s main
main
November 13, 2024 20:17 4m 16s
Update changelog for 1.1.6 Nix Build #2099: Commit dc38186 pushed by MicroProofs
November 13, 2024 20:17 12m 39s main
main
November 13, 2024 20:17 12m 39s
Aiken UPLC Optimization overhaul (#1052) Tests #2025: Commit 4ea6fdf pushed by MicroProofs
November 13, 2024 20:08 4m 17s main
main
November 13, 2024 20:08 4m 17s
Aiken UPLC Optimization overhaul (#1052) Nix Build #2098: Commit 4ea6fdf pushed by MicroProofs
November 13, 2024 20:08 13m 15s main
main
November 13, 2024 20:08 13m 15s
Aiken UPLC Optimization overhaul Tests #2024: Pull request #1052 synchronize by MicroProofs
November 13, 2024 20:01 4m 51s optimize-simplification
optimize-simplification
November 13, 2024 20:01 4m 51s
Aiken UPLC Optimization overhaul Release #391: Pull request #1052 synchronize by MicroProofs
November 13, 2024 20:01 21s optimize-simplification
optimize-simplification
November 13, 2024 20:01 21s
Convert shrinker2 to replace shrinker and update tests Nix Build #2097: Commit 4bbf9af pushed by MicroProofs
November 13, 2024 20:01 13m 0s optimize-simplification
optimize-simplification
November 13, 2024 20:01 13m 0s
Aiken UPLC Optimization overhaul Tests #2023: Pull request #1052 synchronize by MicroProofs
November 13, 2024 19:27 4m 14s optimize-simplification
optimize-simplification
November 13, 2024 19:27 4m 14s
Aiken UPLC Optimization overhaul Release #390: Pull request #1052 synchronize by MicroProofs
November 13, 2024 19:27 26s optimize-simplification
optimize-simplification
November 13, 2024 19:27 26s
Clear no_inlines when inlining a function Nix Build #2096: Commit 01f683c pushed by MicroProofs
November 13, 2024 19:27 12m 51s optimize-simplification
optimize-simplification
November 13, 2024 19:27 12m 51s
Bump minimum rust version everywhere to 1.70.0 Tests #2022: Commit 10c1b46 pushed by KtorZ
November 13, 2024 18:41 4m 44s main
main
November 13, 2024 18:41 4m 44s
Bump minimum rust version everywhere to 1.70.0 Nix Build #2095: Commit 10c1b46 pushed by KtorZ
November 13, 2024 18:41 12m 42s main
main
November 13, 2024 18:41 12m 42s
Merge branch 'json-check-output-2' Nix Build #2094: Commit c523b01 pushed by KtorZ
November 13, 2024 14:09 12m 40s main
main
November 13, 2024 14:09 12m 40s
Merge branch 'json-check-output-2' Tests #2021: Commit c523b01 pushed by KtorZ
November 13, 2024 14:09 4m 47s main
main
November 13, 2024 14:09 4m 47s
Target Aware output; JSON Tests #2020: Pull request #1045 synchronize by KtorZ
November 13, 2024 14:00 4m 21s json-check-output-2
json-check-output-2
November 13, 2024 14:00 4m 21s
Target Aware output; JSON Release #389: Pull request #1045 synchronize by KtorZ
November 13, 2024 14:00 26s json-check-output-2
json-check-output-2
November 13, 2024 14:00 26s
Document test output JSON schema through '--help' Nix Build #2093: Commit 51a8ddc pushed by KtorZ
November 13, 2024 14:00 12m 29s json-check-output-2
json-check-output-2
November 13, 2024 14:00 12m 29s
Target Aware output; JSON Tests #2019: Pull request #1045 synchronize by KtorZ
November 13, 2024 11:05 4m 17s json-check-output-2
json-check-output-2
November 13, 2024 11:05 4m 17s
Target Aware output; JSON Release #388: Pull request #1045 synchronize by KtorZ
November 13, 2024 11:05 29s json-check-output-2
json-check-output-2
November 13, 2024 11:05 29s
Define new event target for JSON, and revert option passing Nix Build #2092: Commit d24a71e pushed by KtorZ
November 13, 2024 11:05 12m 46s json-check-output-2
json-check-output-2
November 13, 2024 11:05 12m 46s
Aiken UPLC Optimization overhaul Release #387: Pull request #1052 synchronize by MicroProofs
November 12, 2024 20:38 33s optimize-simplification
optimize-simplification
November 12, 2024 20:38 33s