Continous integration

Further fixes for change from induced to inferred. #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run-311	8m 12s
Run-309	7m 57s
Run-310	6m 56s
Run-312	7m 53s
	30m 58s