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

Use typed command in BotCommandClaims #7113

Merged
merged 41 commits into from
Jan 10, 2025
Merged

Use typed command in BotCommandClaims #7113

merged 41 commits into from
Jan 10, 2025

Conversation

megrogan
Copy link
Collaborator

No description provided.

Copy link

github-actions bot commented Jan 7, 2025

canbench 🏋 (dir: .)

./canbench_results.yml is up to date ✅


---------------------------------------------------

Benchmark: push_simple_text_messages
  total:
    instructions: 303.35 M (1.03%) (change within noise threshold)
    heap_increase: 12 pages (no change)
    stable_memory_increase: 0 pages (no change)

---------------------------------------------------

Benchmark: add_reactions
  total:
    instructions: 901.71 M (-0.73%) (change within noise threshold)
    heap_increase: 3 pages (no change)
    stable_memory_increase: 0 pages (no change)

---------------------------------------------------

@megrogan megrogan requested a review from hpeebles January 10, 2025 13:53
hpeebles
hpeebles previously approved these changes Jan 10, 2025
julianjelfs
julianjelfs previously approved these changes Jan 10, 2025
@megrogan megrogan dismissed stale reviews from julianjelfs and hpeebles via d2063ca January 10, 2025 15:49
hpeebles
hpeebles previously approved these changes Jan 10, 2025
@megrogan megrogan enabled auto-merge (squash) January 10, 2025 15:49
@megrogan megrogan requested a review from julianjelfs January 10, 2025 16:01
julianjelfs
julianjelfs previously approved these changes Jan 10, 2025
julianjelfs
julianjelfs previously approved these changes Jan 10, 2025
@megrogan megrogan merged commit c59c1a7 into master Jan 10, 2025
8 checks passed
@megrogan megrogan deleted the bot branch January 10, 2025 16:15
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