Back to pull request #2456

docs: Remove defunct IRC channel from README.md #3917

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
doxygen	21s
misra	37s
mypy	13s
build-alpine-s390x	17m 11s
build-compcert	1m 2s
build-nacl	1m 30s
build-tcc	19s
build-win32	2m 31s
build-win64	2m 29s
cimplefmt	10s
tokstyle	32s
build-android	2m 30s
build-macos	3m 39s
coverage-linux	2m 21s
common / buildifier	8s
	35m 33s