(Compiler) Discord Notify

docs: fix typos and improve abbreviation usage in DESIGN_GOALS.md #885

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_access	4s
check_maintainer	0s
notify	-1s
	3s