Code

ci: only run ci if PR is not a draft#960

Code

Merged

mseri merged 2 commits intomirage:mastermirage/ocaml-cohttp:masterfrom bikallem:ci-disable-draftprbikallem/ocaml-cohttp:ci-disable-draftprCopy head branch name to clipboardJan 6, 2023

+2-6

Commits

Commits on Jan 6, 2023

• ci: only run ci if PR is not a draft

  bikallem

  committed
  c5abb3e

• ci: remove steps no longer needed since mirage#948

  bikallem

  committed
  65f8a6f