Fix gitlab-ci-lint: specify --project opt (#205)
Necessary since GitLab v16 API change GITLAB_PRIVATE_TOKEN now has to be defined per-project
parent
5dbf13c6
No related branches found
No related tags found
Pipeline #34651 waiting for manual action
Stage: checks
Stage: tests
Stage: release
Stage: publish_doc