Skip to content

CI: remove the 2017 GitLab CI configuration - #9586

Closed
cdecker wants to merge 1 commit into
ElementsProject:masterfrom
cdecker:ci/remove-2017-gitlab-ci
Closed

cdecker wants to merge 1 commit into
ElementsProject:masterfrom
cdecker:ci/remove-2017-gitlab-ci

Conversation

@cdecker

@cdecker cdecker commented Sep 29, 2026

Copy link
Copy Markdown
Member

.gitlab-ci.yml has not described a working build since 2017:

  • it names an image that no longer exists;
  • it runs make check targets that have since been split up;
  • it posts commit statuses back to GitHub with a token nobody holds any more.

Every push that reaches it fails immediately. Nothing replaces it in this repository; a mirror that builds elsewhere brings its own configuration.

This file has not described a working build since 2017: it names an
image that no longer exists, runs `make check` targets that have since
been split up, and posts commit statuses back to GitHub with a token
nobody holds any more. Every push that reaches it fails immediately
with a runner configuration error.

Nothing replaces it here. Where this repository is mirrored and built
elsewhere, that build now brings its own configuration; all this file
does upstream is fail.

Changelog-None
@cdecker

cdecker commented Sep 29, 2026

Copy link
Copy Markdown
Member Author

Duplicate of #9580, which carries the same change; closing.

@cdecker cdecker closed this Sep 29, 2026
@cdecker
cdecker deleted the ci/remove-2017-gitlab-ci branch September 29, 2026 14:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant