Merge pull request #3673 from martin-frbg/azuredynmingw
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Tue, 28 Jun 2022 21:13:11 +0000 (23:13 +0200)
committerGitHub <noreply@github.com>
Tue, 28 Jun 2022 21:13:11 +0000 (23:13 +0200)
AzureCI: drop cpus from the DYNAMIC_LIST for Windows/mingw to save time


Trivial merge