4 commits

Author	SHA1	Message	Date
Jakob Rath	40e8dc7afa	Merge updated github workflows from master branch	2023-09-23 20:20:07 +02:00
Nikolaj Bjorner	aadb1a2d44	Update msvc-static-build.yml ... move "permissions" to same location as wasm actions	2022-09-24 09:56:45 -07:00
Nikolaj Bjorner	b3c2169838	Update msvc-static-build.yml	2022-09-24 09:55:15 -07:00
gmh5225	b0d0c36b11	Add option 'MSVC_STATIC' (#6358) ... * Add option 'MSVC_STATIC' * Update CMakeLists.txt * Update CMakeLists.txt * Upload msvc-static-build.yml	2022-09-22 15:55:40 -05:00