Skip to content

Gdr 3075#92

Merged
darsoo merged 6 commits intomainfrom
GDR-3075
Aug 4, 2025
Merged

Gdr 3075#92
darsoo merged 6 commits intomainfrom
GDR-3075

Conversation

@darsoo
Copy link
Contributor

@darsoo darsoo commented Aug 4, 2025

Description

What changed?

  • added support for skipping vignette building in run_tests.sh
    Related JIRA issue: GDR-3075

@darsoo darsoo requested a review from a team as a code owner August 4, 2025 07:39
@darsoo darsoo requested review from bczech and gladkia August 4, 2025 07:39
@darsoo darsoo merged commit e7e7114 into main Aug 4, 2025
2 of 3 checks passed
@darsoo darsoo deleted the GDR-3075 branch August 4, 2025 10:48
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.

3 participants