Skip to content

fix: benchmark-publish job (github action) - #1585

Merged
Imod7 merged 1 commit into
masterfrom
domi-fix-benchmark
Feb 3, 2025
Merged

fix: benchmark-publish job (github action)#1585
Imod7 merged 1 commit into
masterfrom
domi-fix-benchmark

Conversation

@Imod7

@Imod7 Imod7 commented Jan 31, 2025

Copy link
Copy Markdown
Contributor

Description

Closes #1584

This PR adds a step in the Benchmark workflow that makes generate_benchmark_result script executable. This change aims to resolve the Permission denied error described in the linked issue.

@Imod7
Imod7 requested review from a team as code owners January 31, 2025 15:51
@Imod7
Imod7 merged commit d87bc07 into master Feb 3, 2025
@Imod7
Imod7 deleted the domi-fix-benchmark branch February 3, 2025 12:16
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.

Benchmark Results are not published

3 participants