Closed jrainville closed 2 weeks ago
:grey_question: | Commit | :hash: | Finished (UTC) | Duration | Platform | Result |
---|---|---|---|---|---|---|
:heavy_check_mark: | 61d24bba | #1 | 2024-05-16 19:16:33 | ~7 min | macos/aarch64 |
:apple:dmg |
:heavy_check_mark: | 61d24bba | #1 | 2024-05-16 19:16:35 | ~7 min | tests/nim |
:page_facing_up:log |
:heavy_check_mark: | 61d24bba | #1 | 2024-05-16 19:19:17 | ~10 min | macos/x86_64 |
:apple:dmg |
:heavy_check_mark: | 61d24bba | #1 | 2024-05-16 19:25:13 | ~16 min | tests/ui |
:page_facing_up:log |
:heavy_check_mark: | 61d24bba | #1 | 2024-05-16 19:28:40 | ~20 min | linux/x86_64 |
:package:tgz |
:heavy_check_mark: | 61d24bba | #1 | 2024-05-16 19:42:01 | ~33 min | windows/x86_64 |
:cd:exe |
Fixes #14816
The muted property on the community was never checked anywhere. I don't know how it ever worked, but oh well.
I also made it so that when the mute property on the community changes, the badge gets re-evaluated.
muted-community.webm