Merge remote-tracking branch 'origin/main' into pi/SSW-001-pool-outpu…

…t-address

.github/workflows/tests.yml

@@ -13,7 +13,33 @@ jobs:
 
       - uses: aiken-lang/[email protected]
         with:
-          version: v1.0.20-alpha
+          version: v1.0.24-alpha
 
-      - run: aiken check
+      - run: |
+          # Run the tests
+          set -o pipefail
+          RESULT=0
+          aiken check 2>&1 | tee aiken.log || RESULT=$?
+          if [ $RESULT -ne 0 ]; then
+            {
+              echo 'FAILING_TESTS<<EOF'
+              grep "FAIL" aiken.log
+              echo EOF
+            } >> "$GITHUB_ENV"
+            cat $GITHUB_ENV
+            exit $RESULT
+          fi
+      - if: failure()
+        run: |
+          echo "$FAILING_TESTS"
       - run: aiken build
+      - uses: actions/github-script@v6
+        if: failure() && env.FAILING_TESTS != ''
+        with:
+          script: |
+            github.rest.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: `Tests failed:\n\n\`\`\`\n${{ env.FAILING_TESTS }}\n\`\`\``
+            })

aiken.lock

@@ -11,6 +11,11 @@ name = "SundaeSwap-finance/aicone"
 version = "ae0852d40cc6332437492102451cf331a3c10b0d"
 source = "github"
 
+[[requirements]]
+name = "aiken-extra/tx_util"
+version = "1.170.202312"
+source = "github"
+
 [[packages]]
 name = "aiken-lang/stdlib"
 version = "97cd61345bcc8925c521b30d0f354859eb0148cd"
@@ -23,4 +28,10 @@ version = "ae0852d40cc6332437492102451cf331a3c10b0d"
 requirements = []
 source = "github"
 
+[[packages]]
+name = "aiken-extra/tx_util"
+version = "1.170.202312"
+requirements = []
+source = "github"
+
 [etags]

aiken.toml

@@ -17,3 +17,8 @@ source = "github"
 name = "SundaeSwap-finance/aicone"
 version = "ae0852d40cc6332437492102451cf331a3c10b0d"
 source = "github"
+
+[[dependencies]]
+name = "aiken-extra/tx_util"
+version = "1.170.202312"
+source = "github"