Skip CI check and semgrep schedule change (#46)

Skips CI on PRs labeled as draft and semgrep scans occur every 12 hours


By submitting this pull request, I confirm that you can use, modify,
copy, and redistribute this contribution, under the terms of your
choice.

---------

Co-authored-by: Prateek Mutalik Desai <[email protected]>
Co-authored-by: xiang song(charlie.song) <[email protected]>

.github/workflows/continuous-integration.yml

@@ -29,6 +29,7 @@ env:
 jobs:
 
   lint_check:
+    if: ${{ github.event.label.name.toLowerCase() != 'draft' }}
     runs-on: ubuntu-latest
     steps:
     - name: Configure AWS Credentials
@@ -71,6 +72,7 @@ jobs:
 
 
   pytest_check:
+    if: ${{ github.event.label.name.toLowerCase() != 'draft' }}
     needs: lint_check
     runs-on: ubuntu-latest
     steps:
@@ -114,6 +116,7 @@ jobs:
 
 
   e2e_check:
+    if: ${{ github.event.label.name.toLowerCase() != 'draft' }}
     needs: [pytest_check, lint_check]
     runs-on: ubuntu-latest
     steps:
@@ -157,6 +160,7 @@ jobs:
 
 
   e2e_mgpu_check:
+    if: ${{ github.event.label.name.toLowerCase() != 'draft' }}
     needs: [pytest_check, lint_check]
     runs-on: ubuntu-latest
     steps:

.github/workflows/semgrep.yml

@@ -8,7 +8,7 @@ on:
   push:
     branches: ["ci_dev", "ci_temporary", "main", "opensource_gsf"]
   schedule:
-    - cron: '0 */6 * * *' 
+    - cron: '0 */12 * * *' 
 
 defaults:
   run:

CONTRIBUTING.md

@@ -34,7 +34,8 @@ To send us a pull request, please:
 3. Ensure local tests pass.
 4. Commit to your fork using clear commit messages.
 5. Send us a pull request, answering any default questions in the pull request interface.
-6. Pay attention to any automated CI failures reported in the pull request, and stay involved in the conversation.
+6. Label your pull request to **draft** if you are actively updating the PR. With this tag, your PR will not trigger the CI pipeline. Remember to remove the **draft** tag once your PR is ready.
+7. Pay attention to any automated CI failures reported in the pull request, and stay involved in the conversation.
 
 GitHub provides additional document on [forking a repository](https://help.github.com/articles/fork-a-repo/) and
 [creating a pull request](https://help.github.com/articles/creating-a-pull-request/).