CI - remove broken parts of the pipeline
Description
Removes parts of the pipeline that are (temporarily) broken.
This includes most of GitLab DevOps which we have never gotten to work right and kept breaking.
An unfortunate victim is Trampoline, which should be migrated to codechecker sometime.
Changes
- Removed broken stages
Additions
N/A
Test and Review
To be filled in by the reviewers
-
There are no unnecessary files present in the MR -
The continuous integration has no problems with the MR -
The MR is filled in as requested (including labels, milestones, and reviewers) -
The documentation is up-to-date