mirror of
https://github.com/apache/nuttx.git
synced 2026-08-01 20:28:58 +00:00
ci/testing: Update MemBrowse targets and concurrency condition
Update the linker script path in membrowse-targets.json and the cuncurrency condition, to prevent breaking the commit chain Signed-off-by: Michael Rogov Papernov <michael@membrowse.com>
This commit is contained in:
parent
0d4ad87fe4
commit
5c8fa78c4e
2 changed files with 7 additions and 2 deletions
2
.github/membrowse-targets.json
vendored
2
.github/membrowse-targets.json
vendored
|
|
@ -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": ""
|
||||
|
|
|
|||
7
.github/workflows/membrowse-report.yml
vendored
7
.github/workflows/membrowse-report.yml
vendored
|
|
@ -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:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue