Do not run pipelines on draft PRs

Author: mmghannam

.github/workflows/build_and_test.yml

@@ -20,6 +20,7 @@ on:
 
 jobs:
   test-with-coverage:
+    if: github.event.pull_request.draft == false
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v3
@@ -47,6 +48,7 @@ jobs:
           fail_ci_if_error: false
 
   linux-conda-test:
+    if: github.event.pull_request.draft == false
     runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v3
@@ -71,6 +73,7 @@ jobs:
           RUSTFLAGS=-Zsanitizer=leak cargo +nightly test 
 
   linux-bundled-test:
+    if: github.event.pull_request.draft == false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
@@ -81,6 +84,7 @@ jobs:
 
 
   windows-test:
+    if: github.event.pull_request.draft == false
     env:
       SCIPOPTDIR: C:\scipoptdir
     runs-on: windows-latest
@@ -105,6 +109,7 @@ jobs:
           cargo test --examples
 
   cargo-fmt-check:
+    if: github.event.pull_request.draft == false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
@@ -117,6 +122,7 @@ jobs:
         run: cargo fmt --all -- --check
 
   cargo-clippy:
+    if: github.event.pull_request.draft == false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
@@ -130,6 +136,7 @@ jobs:
         run: cargo clippy --all-features --all-targets -- -D warnings
 
   semver-check:
+    if: github.event.pull_request.draft == false
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3