PR #3289 only try to push benchmark data

only try to push benchmark data #3289

sokra merged 1 commit into main from ci/bench-push

only try to push benchmark data

e8ecd522

sokra requested a review 3 years ago

sokra requested a review from

tknickman 3 years ago

sokra requested a review from

arlyon 3 years ago

github-actions added area: ci

alexkirsz approved these changes on 2023-01-12

sokra merged 5f72175d into main 3 years ago

sokra deleted the ci/bench-push branch 3 years ago

Reviewers

alexkirsz

tknickman

arlyon

Assignees

No one assigned

Labels

area: ci

Milestone

No milestone