Skip to content

infra: update conditional for comment_benchmark_results#22

Merged
enzoevers merged 1 commit intomainfrom
fix-conditional-workflow-job
Nov 27, 2024
Merged

infra: update conditional for comment_benchmark_results#22
enzoevers merged 1 commit intomainfrom
fix-conditional-workflow-job

Commits

Commits on Nov 27, 2024