Skip to content

Improvements to Git checkout

  • prefer reuse of master for nightly tag
  • guarantee HEAD matches the nightly tag

Merge request reports