ci: Skip CodeQL if PR has a 'ci:nolint' label (#317)

Also, allow to avoid job termination via 'ci:full'

.github/workflows/codeql-analysis.yml

@@ -22,6 +22,7 @@ jobs:
   analyze:
     name: Analyze
     runs-on: ubuntu-latest
+    if: ${{ !contains(github.event.pull_request.labels.*.name, 'ci:nolint') }}
     concurrency:
       group: ${{ github.ref }}
       cancel-in-progress: true

.github/workflows/maven.yml

@@ -11,7 +11,7 @@ on:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: ${{ github.ref != 'refs/heads/master' && github.ref != 'refs/heads/main' }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' && github.ref != 'refs/heads/main' && !contains(github.event.pull_request.labels.*.name, 'ci:full') }}
 
 jobs:
   build:

CONTRIBUTING.md

@@ -16,3 +16,8 @@ This project uses Maven as the build system for all Java projects except those w
 The Eclipse Lyo project page is located at https://projects.eclipse.org/projects/technology.lyo. It points to the information regarding source code management, builds, coding standards, and more.
 
 You are also welcome to contact the development team via [lyo-dev mailing list](https://dev.eclipse.org/mailman/listinfo/lyo-dev) or on Slack (ask for an invite on the mailing list or by a PM to [@andrew](https://forum.open-services.net/u/andrew)).
+
+## PRs
+
+- Use `ci:nolint` label to skip CodeQL checks on all commits in a PR.
+- Use `ci:full` label to prevent CI from termanating running jobs if you push a new commit to a PR.