Build pull request

add dev (no examples) environment file #11

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	30s
CI Pipeline / Check	17m 11s
CI Pipeline / Build	14m 21s
CI Pipeline / Test	39m 47s
CI Pipeline / Documentation	21m 27s
pr-builder	0s
	1h 33m 16s