Skip to content

Actions: aiken-lang/aiken

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
439 workflow runs
439 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chang2 builtins
Release #408: Pull request #1064 synchronize by MicroProofs
December 1, 2024 07:22 20s chang2-builtins
December 1, 2024 07:22 20s
Chang2 builtins
Release #407: Pull request #1064 synchronize by MicroProofs
December 1, 2024 07:21 24s chang2-builtins
December 1, 2024 07:21 24s
Chang2 builtins
Release #406: Pull request #1064 synchronize by MicroProofs
December 1, 2024 02:57 20s chang2-builtins
December 1, 2024 02:57 20s
Chang2 builtins
Release #405: Pull request #1064 synchronize by MicroProofs
November 30, 2024 06:13 18s chang2-builtins
November 30, 2024 06:13 18s
Chang2 builtins
Release #404: Pull request #1064 synchronize by MicroProofs
November 28, 2024 03:04 20s chang2-builtins
November 28, 2024 03:04 20s
update gift card to use svelte, lucid evolution, and weld
Release #402: Pull request #1008 synchronize by rvcas
November 25, 2024 21:09 26s rvcas/gift_card_svelte
November 25, 2024 21:09 26s
update gift card to use svelte, lucid evolution, and weld
Release #400: Pull request #1008 synchronize by rvcas
November 25, 2024 16:16 25s rvcas/gift_card_svelte
November 25, 2024 16:16 25s
Chang2 builtins
Release #399: Pull request #1064 synchronize by MicroProofs
November 25, 2024 03:04 20s chang2-builtins
November 25, 2024 03:04 20s
Chang2 builtins
Release #398: Pull request #1064 opened by MicroProofs
November 25, 2024 02:28 27s chang2-builtins
November 25, 2024 02:28 27s
bump flake deps
Release #396: Pull request #1059 opened by waalge
November 20, 2024 09:49 24s waalge:waalge/bump-flake-1-82-0
November 20, 2024 09:49 24s
chore: Release
Release #395: Commit e2fb28b pushed by KtorZ
November 19, 2024 14:58 13m 52s v1.1.7
November 19, 2024 14:58 13m 52s
feat: update chang#2 costmodels
Release #394: Pull request #1058 synchronize by hadelive
November 19, 2024 05:46 24s hadelive:chang2-costmodels
November 19, 2024 05:46 24s
feat: update chang#2 costmodels
Release #393: Pull request #1058 opened by hadelive
November 19, 2024 05:27 22s hadelive:chang2-costmodels
November 19, 2024 05:27 22s
chore: Release
Release #392: Commit 18054ee pushed by MicroProofs
November 13, 2024 20:25 9m 54s v1.1.6
November 13, 2024 20:25 9m 54s
Aiken UPLC Optimization overhaul
Release #391: Pull request #1052 synchronize by MicroProofs
November 13, 2024 20:01 21s optimize-simplification
November 13, 2024 20:01 21s
Aiken UPLC Optimization overhaul
Release #390: Pull request #1052 synchronize by MicroProofs
November 13, 2024 19:27 26s optimize-simplification
November 13, 2024 19:27 26s
Target Aware output; JSON
Release #389: Pull request #1045 synchronize by KtorZ
November 13, 2024 14:00 26s json-check-output-2
November 13, 2024 14:00 26s
Target Aware output; JSON
Release #388: Pull request #1045 synchronize by KtorZ
November 13, 2024 11:05 29s json-check-output-2
November 13, 2024 11:05 29s
Aiken UPLC Optimization overhaul
Release #387: Pull request #1052 synchronize by MicroProofs
November 12, 2024 20:38 33s optimize-simplification
November 12, 2024 20:38 33s
Aiken UPLC Optimization overhaul
Release #386: Pull request #1052 synchronize by MicroProofs
November 12, 2024 20:20 23s optimize-simplification
November 12, 2024 20:20 23s