diff --git a/.github/membrowse-targets.json b/.github/membrowse-targets.json index f0a227f4dbb..c105a921969 100644 --- a/.github/membrowse-targets.json +++ b/.github/membrowse-targets.json @@ -3,7 +3,7 @@ "target_name": "stm32-nucleo-f103rb", "board_config": "nucleo-f103rb:nsh", "elf": "nuttx", - "ld": "boards/arm/stm32/nucleo-f103rb/scripts/ld.script", + "ld": "boards/arm/stm32f1/nucleo-f103rb/scripts/ld.script", "map_file": "nuttx.map", "linker_vars": "", "config_overrides": "" diff --git a/.github/workflows/membrowse-report.yml b/.github/workflows/membrowse-report.yml index c18c050a148..de24d212708 100644 --- a/.github/workflows/membrowse-report.yml +++ b/.github/workflows/membrowse-report.yml @@ -10,8 +10,13 @@ on: permissions: contents: read +# Per-PR group so superseded PR pushes cancel; per-SHA on push so master +# commits never share a group. A shared refs/heads/master group lets a burst +# of pushes evict each other while pending (GitHub keeps only one pending run +# per group), leaving a commit with no report and breaking the MemBrowse +# parent chain for every commit that bases on it. concurrency: - group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} cancel-in-progress: ${{ github.event_name == 'pull_request' }} jobs: