Code

fix/restructure rcp build#124

Code

Merged

danielratiu merged 6 commits intomaintenance/MPS-2023.2mbeddr/mbeddr.formal:maintenance/MPS-2023.2from bugfix/restructure_rcp_buildmbeddr/mbeddr.formal:bugfix/restructure_rcp_buildCopy head branch name to clipboardDec 22, 2024

+1,682-633

Commits

Commits on Dec 15, 2024

• safety.distribution.build: added model for startup scripts, added plarform specific builds

  danielratiu

  committed
  52e30d7

Commits on Dec 20, 2024

• safety.build: restructured to enable building for different platforms

  danielratiu

  committed
  042d393

Commits on Dec 21, 2024

• Merge branch 'maintenance/MPS-2023.2' into bugfix/restructure_rcp_build

  ratiud

  committed
  ecb1b4d

• safety.build: various fixes in the build scripts on the mps side

  ratiud

  committed
  1751b22

Commits on Dec 22, 2024

• safety.build: various fixes in the build scripts on the mps side

  Show description for b021cb7
  ratiud

  committed
  b021cb7

• workflow: fix

  ratiud

  committed
  652116e