mirror of
https://github.com/apache/nuttx.git
synced 2026-08-01 20:28:58 +00:00
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 <michael@membrowse.com>
This commit is contained in:
parent
c57836bff3
commit
6edb14b1f0
1 changed files with 15 additions and 0 deletions
15
.github/workflows/membrowse-report.yml
vendored
15
.github/workflows/membrowse-report.yml
vendored
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue