This is an automated email from the ASF dual-hosted git repository.
acassis pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/nuttx.git
The following commit(s) were added to refs/heads/master by this push:
new 6edb14b1f0e ci/testing: MemBrowse support multi commit pushes
6edb14b1f0e is described below
commit 6edb14b1f0e696f41172eec0cafbe4b448a64a6a
Author: Michael Rogov Papernov <[email protected]>
AuthorDate: Mon Jun 22 12:08:18 2026 +0100
ci/testing: MemBrowse support multi commit pushes
Keep the commit chain intact in case of a multi commit push
Signed-off-by: Michael Rogov Papernov <[email protected]>
---
.github/workflows/membrowse-report.yml | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/.github/workflows/membrowse-report.yml
b/.github/workflows/membrowse-report.yml
index 25e096d47d9..a4ac3022f0c 100644
--- a/.github/workflows/membrowse-report.yml
+++ b/.github/workflows/membrowse-report.yml
@@ -104,6 +104,9 @@ jobs:
MEMBROWSE_API_KEY: ${{ secrets.MEMBROWSE_API_KEY }}
MEMBROWSE_API_URL: ${{ vars.MEMBROWSE_API_URL }}
TARGET_NAME: ${{ matrix.target_name }}
+ # Base on the previous branch tip, not the (often unreported mid-PR)
+ # git parent.
+ BEFORE_SHA: ${{ github.event.before }}
run: |
ARGS=(--upload --github
--target-name "$TARGET_NAME"
@@ -112,6 +115,10 @@ jobs:
if [ -n "$MEMBROWSE_API_URL" ]; then
ARGS+=(--api-url "$MEMBROWSE_API_URL")
fi
+ # Override parent with previous tip; skip on branch creation (0s).
+ if [ -n "$BEFORE_SHA" ] && [ "$BEFORE_SHA" !=
"0000000000000000000000000000000000000000" ]; then
+ ARGS+=(--base-sha "$BEFORE_SHA")
+ fi
membrowse report "${ARGS[@]}"
# Build target with debug symbols + linker map, then upload MemBrowse report.
@@ -210,6 +217,10 @@ jobs:
LD_PATHS: ${{ steps.ld.outputs.paths }}
MAP_FILE: ${{ matrix.map_file != '' && format('sources/nuttx/{0}',
matrix.map_file) || '' }}
LINKER_VARS: ${{ matrix.linker_vars }}
+ # Push only: base on the previous branch tip, not the (often
+ # unreported mid-PR) git parent. Empty on PRs (--github bases on the
+ # PR target tip).
+ BEFORE_SHA: ${{ github.event_name == 'push' && github.event.before
|| '' }}
run: |
set -o pipefail
ARGS=("$ELF" "$LD_PATHS"
@@ -219,6 +230,10 @@ jobs:
if [ -n "$MEMBROWSE_API_URL" ]; then
ARGS+=(--api-url "$MEMBROWSE_API_URL")
fi
+ # Override parent with previous tip; skip on branch creation (0s).
+ if [ -n "$BEFORE_SHA" ] && [ "$BEFORE_SHA" !=
"0000000000000000000000000000000000000000" ]; then
+ ARGS+=(--base-sha "$BEFORE_SHA")
+ fi
if [ -n "$MAP_FILE" ]; then
ARGS+=(--map-file "$MAP_FILE")
fi