Refactor pipeline

[AFulgens]

Context

Currently, in a PR, the main testing pipeline is run with the default settings i.e., without type checking, mutation tests and combination tests. However, currently specific parts of the pipeline can be triggered by commenting /type-check, /mutate, /combos (or /all-tests) respectively.

This, currently, does not update the check-suite within the PR though, the results have to be manually checked in the Actions tab.

Idea

Create a secondary pipeline, which triggers the check-suite with the configuration which steps are to be executed, thus the results are readily available in the PR.

References

• (Possible easy fix?) https://dev.to/zirkelc/trigger-github-workflow-for-comment-on-pull-request-45l2
• https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions
• https://docs.github.com/en/rest/checks/suites?apiVersion=2022-11-28#create-a-check-suite
• https://docs.github.com/en/actions/learn-github-actions/variables
• https://blog.liblab.com/using-github-graphql-api-with-github-actions/
• https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/collaborating-on-repositories-with-code-quality-features/about-status-checks
• https://stackoverflow.com/questions/58597010/how-to-access-a-github-issue-comment-body-using-github-actions