chore(deps): bump actions/checkout from 4 to 5 in /.github/workflows

[cmsis-freertos] / Documentation / version.js

function writeVersionDropdown() {
  /* Placeholder function not used for local docs */
}