From 282e32ec446deb6fbb08aeaee8853fe3758e3e61 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Wed, 18 Oct 2023 11:36:07 -0400 Subject: [PATCH 1/2] ci: Improve error logging in GitHub Actions workflows - Updated messages now incorporate a direct link to the specific failed run in the GitHub Actions log, --- .github/workflows/nightly.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 718f417857..66908ea095 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -69,15 +69,15 @@ jobs: - name: Amend MESSAGE for tests if: steps.tests.outcome != 'success' - run: echo "MESSAGE=${{ env.MESSAGE }} Exhaustive test run failed in ${{ github.run_id }}" >> $GITHUB_ENV + run: echo "MESSAGE=${{ env.MESSAGE }} Exhaustive test run failed in https://github.com/lurk-lab/lurk-rs/actions/runs/${{ github.run_id }}" >> $GITHUB_ENV - name: Amend MESSAGE for benches if: steps.benches.outcome != 'success' - run: echo "MESSAGE=${{ env.MESSAGE }} Bench compilation failed in ${{ github.run_id }}" >> $GITHUB_ENV + run: echo "MESSAGE=${{ env.MESSAGE }} Bench compilation failed in https://github.com/lurk-lab/lurk-rs/actions/runs/${{ github.run_id }}" >> $GITHUB_ENV - name: Amend MESSAGE for doctests if: steps.doctests.outcome != 'success' - run: echo "MESSAGE=${{ env.MESSAGE }} Doc test run failed in ${{ github.run_id }}" >> $GITHUB_ENV + run: echo "MESSAGE=${{ env.MESSAGE }} Doc test run failed in https://github.com/lurk-lab/lurk-rs/actions/runs/${{ github.run_id }}" >> $GITHUB_ENV - name: Find the last report issue open id: last_issue From f90f29844efae45d1f40cd2e20b901ed3530baa2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Wed, 18 Oct 2023 13:24:46 -0400 Subject: [PATCH 2/2] fix: repair nightly --- fcomm/examples/Makefile | 4 ++-- fcomm/examples/chained-request.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/fcomm/examples/Makefile b/fcomm/examples/Makefile index a3a8c9d492..0d2d9c3d87 100644 --- a/fcomm/examples/Makefile +++ b/fcomm/examples/Makefile @@ -40,10 +40,10 @@ chained-opening.json : chained-function.json chained-input.lurk chained-commitme cargo run --release open --function chained-function.json --input chained-input.lurk --proof chained-opening.json --chain chained2-opening chained2-opening.json : chained-input.lurk chained-opening - # NOTE: This concrete commitment (18d939e4cacdcc3c9b3752f84edd34e8455fc83c90b56059f27d79629da46e16) can be found + # NOTE: This concrete commitment (1d52c2a9a97ed0fd4755e89b4310f1edc7d2c0ef3e250c4e5b51dacefc76caf5) can be found # in chained-opening.json, but its identity is determistic based on the secret and 'second return value' (cdr) # of the function specified in chained-function.json. - cargo run --release open --commitment 18d939e4cacdcc3c9b3752f84edd34e8455fc83c90b56059f27d79629da46e16 --input chained-input.lurk --proof chained2-opening.json --chain + cargo run --release open --commitment 1d52c2a9a97ed0fd4755e89b4310f1edc7d2c0ef3e250c4e5b51dacefc76caf5 --input chained-input.lurk --proof chained2-opening.json --chain chained2-from_req-opening chained2-from_req-opening.json : chained2-opening chained-request.json cargo run --release open --request chained-request.json --proof chained2-from_req-opening.json diff --git a/fcomm/examples/chained-request.json b/fcomm/examples/chained-request.json index 4153391b1a..107a7025c4 100644 --- a/fcomm/examples/chained-request.json +++ b/fcomm/examples/chained-request.json @@ -1 +1 @@ -{"commitment":"1a25fa00d461d94e16a9be54cc43d9e132043fc938b818d8dd97ea6602a2832a","input":{"expr":{"Source":"9"}},"chain":true} +{"commitment":"1d52c2a9a97ed0fd4755e89b4310f1edc7d2c0ef3e250c4e5b51dacefc76caf5","input":{"expr":{"Source":"9"}},"chain":true}