File tree Expand file tree Collapse file tree 7 files changed +857
-613
lines changed
Expand file tree Collapse file tree 7 files changed +857
-613
lines changed Original file line number Diff line number Diff line change 1313
1414 -
uses :
aiken-lang/[email protected] 1515 with :
16- version : v1.0.20 -alpha
16+ version : v1.0.24 -alpha
1717
18- - run : aiken check
18+ - run : |
19+ # Run the tests
20+ set -o pipefail
21+ RESULT=0
22+ aiken check 2>&1 | tee aiken.log || RESULT=$?
23+ if [ $RESULT -ne 0 ]; then
24+ {
25+ echo 'FAILING_TESTS<<EOF'
26+ grep "FAIL" aiken.log
27+ echo EOF
28+ } >> "$GITHUB_ENV"
29+ cat $GITHUB_ENV
30+ exit $RESULT
31+ fi
32+ - if : failure()
33+ run : |
34+ echo "$FAILING_TESTS"
1935 - run : aiken build
36+ - uses : actions/github-script@v6
37+ if : failure() && env.FAILING_TESTS != ''
38+ with :
39+ script : |
40+ github.rest.issues.createComment({
41+ issue_number: context.issue.number,
42+ owner: context.repo.owner,
43+ repo: context.repo.repo,
44+ body: `Tests failed:\n\n\`\`\`\n${{ env.FAILING_TESTS }}\n\`\`\``
45+ })
Original file line number Diff line number Diff line change @@ -11,6 +11,11 @@ name = "SundaeSwap-finance/aicone"
1111version = "ae0852d40cc6332437492102451cf331a3c10b0d"
1212source = "github"
1313
14+ [[requirements]]
15+ name = "aiken-extra/tx_util"
16+ version = "1.170.202312"
17+ source = "github"
18+
1419[[packages]]
1520name = "aiken-lang/stdlib"
1621version = "97cd61345bcc8925c521b30d0f354859eb0148cd"
@@ -23,4 +28,10 @@ version = "ae0852d40cc6332437492102451cf331a3c10b0d"
2328requirements = []
2429source = "github"
2530
31+ [[packages]]
32+ name = "aiken-extra/tx_util"
33+ version = "1.170.202312"
34+ requirements = []
35+ source = "github"
36+
2637[etags]
Original file line number Diff line number Diff line change @@ -17,3 +17,8 @@ source = "github"
1717name = " SundaeSwap-finance/aicone"
1818version = " ae0852d40cc6332437492102451cf331a3c10b0d"
1919source = " github"
20+
21+ [[dependencies ]]
22+ name = " aiken-extra/tx_util"
23+ version = " 1.170.202312"
24+ source = " github"
You can’t perform that action at this time.
0 commit comments