Skip to content
  • Ben Gamari's avatar
    Grab CI configuration from master · b6237131
    Ben Gamari authored
    This is awfully ugly but is nevertheless significantly less error-prone
    than cherry-picking all of the relevant commits manually.
    b6237131