Bump aiken version

CardanoSolutions · Sep 19, 2024 · 3d5d65e · 3d5d65e
1 parent 084c681
commit 3d5d65e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -12,7 +12,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: aiken-lang/setup-aiken@v1
         with:
-          version: v1.1.0
+          version: v1.1.2
       - run: aiken fmt --check
       - run: aiken check -D
       - run: aiken build
diff --git a/validators/proxy.test.ak b/validators/proxy.test.ak
@@ -253,9 +253,11 @@ fn register(
           fn(o) { o.address.payment_credential == Script(validator_hash) },
         )
       when n_ours is {
-        0 -> [sc_no_required_initial_output, ..labels]
+        0 ->
+          [sc_no_required_initial_output, ..labels]
         1 -> labels
-        _ -> [sc_too_many_initial_outputs, ..labels]
+        _ ->
+          [sc_too_many_initial_outputs, ..labels]
       }
     } else {
       list.filter(
@@ -1103,7 +1105,8 @@ fn our_value_restricted_to(utxo: List<Input>, mask: List<PolicyId>) -> Value {
 /// Insert an element in a list at the given position.
 fn insert(self: List<a>, ix: Int, elem: a) -> List<a> {
   when self is {
-    [] -> [elem]
+    [] ->
+      [elem]
     [head, ..tail] ->
       if ix == 0 {
         [elem, head, ..tail]