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)
commit1fb42590773f8b9fcdb4733e82afc2cfd1fab86a
tree9b5376f214cb047db7799fa46fe8799636d16a64
parentbe5500e704e6758647f5d07daf9a3b2d06de538b
parent47a0e53196cee29885b89f65d2fd8f3a4a6eb809
Merge pull request #3673 from martin-frbg/azuredynmingw

AzureCI: drop cpus from the DYNAMIC_LIST for Windows/mingw to save time