8 Commits

Author	SHA1	Message	Date
Kamil Śliwak	0cece8e6e7	CI: Optimize machine sizes for best speed/cost ratio	2021-12-03 12:32:40 +01:00
soroosh-sdi	8b04ac38ab	Require latest Z3 by default and allow relaxing the requirement with STRICT_Z3_VERSION=OFF ... Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>	2021-09-24 22:09:56 +03:30
Kamil Śliwak	68e416e905	build_win.ps1: Use committer date rather than author date in prerelease.txt ... - That's what the Linux/macOS scripts do.	2021-01-15 19:09:49 +01:00
Kamil Śliwak	71d19c5178	build_win.ps1: Use commit date for CI builds on Windows and Emscripten as well	2021-01-14 22:23:06 +01:00
Daniel Kirchner	a7b8ad311d	Always build a windows release binary on tags.	2020-10-15 00:48:56 +02:00
Daniel Kirchner	a1de862135	Set ErrorActionPreference on all powershell scripts and add explicit error checks.	2020-09-17 14:44:52 +02:00
Christian Parpart	165f898ba9	Release build for Windows.	2020-09-17 13:32:32 +02:00
Daniel Kirchner	d66b6f1c46	CircleCI Windows config and install_deps.ps1 script.	2020-09-16 12:50:31 +02:00