Bjerg f7fc4ffbe5 Disable Discord URL embed (#6892) ...

Wrapping links in `<` and `>` disables auto-embeds in Discord, even if
it's a markdown-style link.

Closes #6884

Release Notes:

- N/A

2024-01-27 15:34:36 -05:00

..

ci.yml

ci: Bump actions/checkout to v4 (#6736)

2024-01-25 21:03:23 -05:00

publish_collab_image.yml

ci: Bump actions/checkout to v4 (#6736)

2024-01-25 21:03:23 -05:00

randomized_tests.yml

ci: Bump actions/checkout to v4 (#6736)

2024-01-25 21:03:23 -05:00

release_actions.yml

Disable Discord URL embed (#6892)

2024-01-27 15:34:36 -05:00

release_nightly.yml

ci: Bump actions/checkout to v4 (#6736)

2024-01-25 21:03:23 -05:00

update_top_ranking_issues.yml

ci: Bump actions/checkout to v4 (#6736)

2024-01-25 21:03:23 -05:00