Skip to content

Fix build script#3451

Merged
haiodo merged 1 commit intomainfrom
fix-ci-logs
Jun 22, 2023
Merged

Fix build script#3451
haiodo merged 1 commit intomainfrom
fix-ci-logs

Conversation

@haiodo
Copy link
Copy Markdown
Contributor

@haiodo haiodo commented Jun 22, 2023

Contribution checklist

Brief description

Fix log file name

Checklist

Related issues

A list of closed updated issues

Signed-off-by: Andrey Sobolev <haiodo@gmail.com>
@haiodo haiodo requested review from BykhovDenis and SasLord June 22, 2023 16:41
@haiodo haiodo merged commit e37400d into main Jun 22, 2023
@haiodo haiodo deleted the fix-ci-logs branch June 22, 2023 17:56
@haiodo haiodo restored the fix-ci-logs branch June 23, 2023 08:40
@haiodo haiodo deleted the fix-ci-logs branch June 23, 2023 08:41
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