Skip to content

CI - remove broken parts of the pipeline

Luc Everse requested to merge ci-remove-broken-pipelines into development

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

Merge request reports