Skip to content

Improved infrastructure documentation, fixed some CI-related bugs

Sam Kagan requested to merge improve-infra-docs into main

Also:

  • Removed some dead CI-related code
  • Turned README.md into an introductory document
Edited by Sam Kagan

Merge request reports