Skip to content

Comments

Fixes for CI#16

Merged
prazumovsky merged 1 commit intomainfrom
fixes-for-ci
Nov 5, 2025
Merged

Fixes for CI#16
prazumovsky merged 1 commit intomainfrom
fixes-for-ci

Conversation

@degorenko
Copy link
Collaborator

  • fetch depth 0 to have tags;
  • remove not needed github-config from make;

Signed-off-by: Denis Egorenko degorenko@mirantis.com

* fetch depth 0 to have tags;
* remove not needed github-config from make;

Signed-off-by: Denis Egorenko degorenko@mirantis.com
@prazumovsky prazumovsky merged commit 6858fc8 into main Nov 5, 2025
5 checks passed
@degorenko degorenko deleted the fixes-for-ci branch November 5, 2025 16:27
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.

2 participants