Build pull request

Disable shared memory by default, and fix `--stop_after` flag for `vd… #1103

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	27s
checks	0s
CI Pipeline / Check	0s
CI Pipeline / Build	1s
CI Pipeline / Test	1s
CI Pipeline / Documentation	1s
CI Pipeline / Package	1s
pr-builder	1s
	32s