Regression tests

Remove unused MDPRewards import in LTLModelChecker #513

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-win (11, windows-latest)	10m 45s
build-win (21, windows-latest)	10m 28s
build (11, macos-latest)	4m 3s
build (21, ubuntu-latest)	3m 59s
build (11, ubuntu-latest)	4m 7s
build (21, macos-latest)	6m 19s
	39m 41s