1. 27 Dec, 2018 1 commit
    • 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