Skip to content

Conversation

@GnomedDev
Copy link
Member

Discord documents this as always present, even with Ping interactions.

@github-actions github-actions bot added the model Related to the `model` module. label Nov 13, 2024
@arqunis arqunis added enhancement An improvement to Serenity. discord feature Related to Discord's functionality. breaking change The public API is changed, resulting in miscompilations or unexpected new behaviour for users labels Nov 13, 2024
@GnomedDev GnomedDev merged commit 9296017 into serenity-rs:next Nov 13, 2024
21 checks passed
@GnomedDev GnomedDev deleted the app-perms-always-there branch November 13, 2024 19:33
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Nov 15, 2024
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Dec 8, 2024
Discord documents this as always present, even with Ping interactions.
arqunis pushed a commit to arqunis/serenity that referenced this pull request Jan 16, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Feb 1, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Feb 14, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Mar 5, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Mar 5, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Mar 7, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Mar 10, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Mar 11, 2025
Discord documents this as always present, even with Ping interactions.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Mar 26, 2025
Discord documents this as always present, even with Ping interactions.
GnomedDev added a commit that referenced this pull request Apr 28, 2025
Discord documents this as always present, even with Ping interactions.
GnomedDev added a commit that referenced this pull request May 19, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jun 30, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jun 30, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jun 30, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jul 28, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jul 28, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Oct 7, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Oct 7, 2025
Discord documents this as always present, even with Ping interactions.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Oct 7, 2025
Discord documents this as always present, even with Ping interactions.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

breaking change The public API is changed, resulting in miscompilations or unexpected new behaviour for users discord feature Related to Discord's functionality. enhancement An improvement to Serenity. model Related to the `model` module.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants