Lukas Mai a1489e1891 update github irc notification action ...

The only visible difference is cosmetic: The notification bot will not
use an overlong (and therefore truncated) username anymore.

2025-09-29 20:36:55 +02:00

..

detect-conflicts.yml

build: harden detect-conflicts.yml permissions

2022-09-26 14:28:14 -06:00

irc-notifications.yaml

update github irc notification action

2025-09-29 20:36:55 +02:00

testsuite.yml

Properly mark new MSVC as v143

2025-06-03 01:06:43 +02:00