Skip to content

Actions: aiken-lang/aiken

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chang2 builtins Release #398: Pull request #1064 opened by MicroProofs
November 25, 2024 02:28 27s chang2-builtins
chang2-builtins
November 25, 2024 02:28 27s
add: template from docs Release #397: Pull request #1061 opened by waalge
November 23, 2024 17:08 1m 9s waalge:waalge/new-include-validator-template
waalge:waalge/new-include-validator-template
November 23, 2024 17:08 1m 9s
bump flake deps Release #396: Pull request #1059 opened by waalge
November 20, 2024 09:49 24s waalge:waalge/bump-flake-1-82-0
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
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
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
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
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
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
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
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
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
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
optimize-simplification
November 12, 2024 20:20 23s
Aiken UPLC Optimization overhaul Release #385: Pull request #1052 synchronize by MicroProofs
November 10, 2024 22:33 21s optimize-simplification
optimize-simplification
November 10, 2024 22:33 21s
Aiken UPLC Optimization overhaul Release #384: Pull request #1052 synchronize by MicroProofs
November 10, 2024 05:33 18s optimize-simplification
optimize-simplification
November 10, 2024 05:33 18s
Aiken UPLC Optimization overhaul Release #383: Pull request #1052 synchronize by MicroProofs
November 10, 2024 05:21 20s optimize-simplification
optimize-simplification
November 10, 2024 05:21 20s
Aiken UPLC Optimization overhaul Release #382: Pull request #1052 synchronize by MicroProofs
November 9, 2024 22:46 18s optimize-simplification
optimize-simplification
November 9, 2024 22:46 18s
Aiken UPLC Optimization overhaul Release #381: Pull request #1052 opened by MicroProofs
November 9, 2024 22:44 23s optimize-simplification
optimize-simplification
November 9, 2024 22:44 23s
Use a decision tree for when Expressions Release #380: Pull request #1040 synchronize by MicroProofs
November 8, 2024 19:11 21s decision-trees
decision-trees
November 8, 2024 19:11 21s
Use a decision tree for when Expressions Release #379: Pull request #1040 synchronize by MicroProofs
November 2, 2024 21:16 27s decision-trees
decision-trees
November 2, 2024 21:16 27s
Use a decision tree for when Expressions Release #378: Pull request #1040 synchronize by MicroProofs
November 2, 2024 18:46 25s decision-trees
decision-trees
November 2, 2024 18:46 25s
Use a decision tree for when Expressions Release #377: Pull request #1040 synchronize by MicroProofs
November 1, 2024 23:35 17s decision-trees
decision-trees
November 1, 2024 23:35 17s
Use a decision tree for when Expressions Release #376: Pull request #1040 synchronize by MicroProofs
November 1, 2024 23:34 25s decision-trees
decision-trees
November 1, 2024 23:34 25s
Use a decision tree for when Expressions Release #375: Pull request #1040 synchronize by MicroProofs
November 1, 2024 05:24 19s decision-trees
decision-trees
November 1, 2024 05:24 19s
Use a decision tree for when Expressions Release #374: Pull request #1040 synchronize by MicroProofs
October 31, 2024 20:15 21s decision-trees
decision-trees
October 31, 2024 20:15 21s