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

Fix bench workflow #343

Merged
merged 2 commits into from
Jul 20, 2023
Merged

Fix bench workflow #343

merged 2 commits into from
Jul 20, 2023

Conversation

b-ma
Copy link
Collaborator

@b-ma b-ma commented Jul 20, 2023

ok that was not working properly... benches were triggered on every comment (so basically worse than the previous situation...)

So now

  • benchmark workflow should only run if comment is "/bench"
  • "post benchmark" is skipped if "benchmark" is not a success

Hopefully should be good now (these things are a real pain to test...)

@orottier orottier merged commit 76a8eb4 into orottier:main Jul 20, 2023
3 checks passed
@orottier
Copy link
Owner

Seems to be working now :)

@b-ma b-ma deleted the fix/bench-workflow branch November 4, 2023 06:42
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