Revert "[REVERT ME] Drop most CI while experimenting"

This reverts commit d8bf3e1713820bad4789a390c9c9fc3ac588941f.
10 files changed