Commits on Dec 1, 2023

1. dist/tools/insufficient_memory: always update Makefile.ci …

   Previously the `add_insufficient_memory_board.sh` script would only
   add the tested board to `Makefile.ci` when resource requirements grew,
   but never remove it when resource requirements got lower.
   
   This updates the script to also remove boards from `Makefile.ci` if
   it is no longer needed. It is also rename (`add` --> `update`) to
   match the change in behavior.

   

   maribu committed Dec 1, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 922d8c8
   • Browse repository at this point

   Copy the full SHA

   922d8c8 View commit details

   Browse the repository at this point in the history