Build pull request

Updating the workspace settings to remove deprecated python options (… #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Prepare	29s
CI Pipeline / Test	1h 0m 10s
CI Pipeline / Check	0s
CI Pipeline / Build	14m 45s
CI Pipeline / Documentation	21m 42s
pr-builder	0s
	1h 37m 6s