Skip to content

Commit

Permalink
Merge pull request #960 from bikallem/ci-disable-draftpr
Browse files Browse the repository at this point in the history
ci: only run ci if PR is not a draft
  • Loading branch information
mseri committed Jan 6, 2023
2 parents db2abd0 + 65f8a6f commit ec82f50
Showing 1 changed file with 2 additions and 6 deletions.
8 changes: 2 additions & 6 deletions .github/workflows/workflow.yml
Expand Up @@ -14,6 +14,7 @@ concurrency:

jobs:
build-test-default:
if: github.event.pull_request.draft == false
strategy:
fail-fast: false
matrix:
Expand Down Expand Up @@ -63,6 +64,7 @@ jobs:
- run: opam exec -- dune runtest http cohttp cohttp-lwt cohttp-lwt-unix cohttp-server-lwt-unix cohttp-mirage cohttp-async cohttp-curl-async cohttp-curl-lwt cohttp-curl cohttp-top cohttp-bench

build-test-cohttp-eio:
if: github.event.pull_request.draft == false
strategy:
fail-fast: false
matrix:
Expand All @@ -79,12 +81,6 @@ jobs:
runs-on: ${{ matrix.os }}

steps:
- run: sudo apt-get install ncat
if: ${{ matrix.os == 'ubuntu-latest' }}

- run: brew install nmap
if: ${{ matrix.os == 'macos-latest' }}

- name: Checkout code
uses: actions/checkout@v3

Expand Down

0 comments on commit ec82f50

Please sign in to comment.