Portal CI

doc: fix typo in the portals.conf example #2259

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Ubuntu 22.04 build (gcc, address)	3m 45s
Ubuntu 22.04 build (clang, address)	3m 38s
	7m 23s