CI

Merge branch 'dev' of https://github.com/pyro-ppl/pyro into dev #28

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (3.8)	26s
docs (3.8)	2m 38s
tutorials-html (3.8)	4m 9s
unit (3.8)	1h 19m 3s
integration_2 (3.8)	48m 6s
integration_1 (3.8)	36m 53s
funsor (3.8)	10m 32s
examples (3.8)	26m 22s
finish (3.8)	9s
	3h 28m 18s