Skip to content

Comments

[CI] Fix the step to copy the metadata.#13420

Merged
mandel-macaque merged 1 commit intomainfrom
dev/mandel/fix-metadata-copy
Feb 17, 2023
Merged

[CI] Fix the step to copy the metadata.#13420
mandel-macaque merged 1 commit intomainfrom
dev/mandel/fix-metadata-copy

Conversation

@mandel-macaque
Copy link
Contributor

Add path to missing missing ignored path and to the source folder.

@jsuarezruiz jsuarezruiz requested a review from rmarinho February 17, 2023 17:47
@mandel-macaque mandel-macaque merged commit 8bd978a into main Feb 17, 2023
@mandel-macaque mandel-macaque deleted the dev/mandel/fix-metadata-copy branch February 17, 2023 19:24
@github-actions github-actions bot locked and limited conversation to collaborators Dec 13, 2023
@samhouts samhouts added the fixed-in-8.0.0-preview.1.7762 Look for this fix in 8.0.0-preview.1.7762! label Aug 2, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

fixed-in-8.0.0-preview.1.7762 Look for this fix in 8.0.0-preview.1.7762! t/housekeeping ♻︎

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants