Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

run benchmarks on dedicated CI runner #64

Merged
merged 1 commit into from
Oct 7, 2022

Conversation

arvidn
Copy link
Contributor

@arvidn arvidn commented Oct 7, 2022

No description provided.

@arvidn arvidn force-pushed the run-benchmarks-on-dedicated-runner branch from 57b520d to 0471b9a Compare October 7, 2022 09:56
@arvidn arvidn force-pushed the run-benchmarks-on-dedicated-runner branch 2 times, most recently from a1da2e6 to 5bf66c4 Compare October 7, 2022 14:49
@arvidn arvidn force-pushed the run-benchmarks-on-dedicated-runner branch from 5bf66c4 to cf3f612 Compare October 7, 2022 14:55
@richardkiss
Copy link
Contributor

I'm not a CI expert, but this seems unobjectional.

@arvidn arvidn merged commit 7a98ab0 into main Oct 7, 2022
@arvidn arvidn deleted the run-benchmarks-on-dedicated-runner branch October 7, 2022 21:46
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.

3 participants