Merge pull request #416 from viperproject/nklose/adt-decreases-highli… #1491

Job	Run time
create-viper-tools	0s
build-and-test - macos-latest	5m 42s
build-and-test - ubuntu-latest	3m 34s
build-and-test - windows-latest	5m 47s
create-release	0s
	15m 3s

Provide feedback