Skip to content
This repository has been archived by the owner on Nov 14, 2024. It is now read-only.

Avoid spam #195

Merged
merged 4 commits into from
Oct 25, 2024
Merged

Avoid spam #195

merged 4 commits into from
Oct 25, 2024

Conversation

fire
Copy link
Member

@fire fire commented Oct 25, 2024

Bencher is too verbose.

@fire fire force-pushed the avoid-spam branch 2 times, most recently from 9c247f8 to 11e974e Compare October 25, 2024 03:05
@fire fire enabled auto-merge October 25, 2024 03:41
@fire fire added this pull request to the merge queue Oct 25, 2024
github-merge-queue bot pushed a commit that referenced this pull request Oct 25, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 25, 2024
@fire fire added this pull request to the merge queue Oct 25, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 25, 2024
@fire fire added this pull request to the merge queue Oct 25, 2024
@fire fire removed this pull request from the merge queue due to a manual request Oct 25, 2024
@fire fire merged commit 36f0f60 into main Oct 25, 2024
16 checks passed
@fire fire deleted the avoid-spam branch October 25, 2024 08:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant