GitHub release preparation

Workflow runs for GitHub release preparation

• GitHub release preparation

  completed successfully:
  GitHub release preparation#2:Manually runbyAlexMarinescu
  master

  Oct 10, 202637s
  More actions for workflow run 2

• GitHub release preparation

  completed successfully:
  GitHub release preparation#1:Manually runbyAlexMarinescu
  master

  Oct 10, 20269s
  More actions for workflow run 1