ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2024-12-23 06:42:33 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
8,429 Commits 91 Branches 405 Tags 354 MiB
ce146bdd59
Commit Graph

4 Commits

Author SHA1 Message Date
Waldemar Zurowski
3377df2212 Switched to CMD for Windows Server 
* when using shell there are huge performance penalty
 2020-06-20 17:26:57 +01:00
Waldemar Zurowski
a7644dab8b Cosmetic change for Windows Server builds 2020-06-19 22:09:02 +01:00
Waldemar Żurowski
ac0e35c854
Trying to ignore push events for Windows Server builds (#6383) 2020-06-19 22:03:09 +01:00
Waldemar Żurowski
494073590b
INFRA-347: Corda builds for Windows Servers (#6356) 2020-06-18 23:19:06 +01:00