24 Commits

Author	SHA1	Message	Date
Frank Denis	5f661cd757	Fix wasi-sdk path	2020-04-25 12:38:30 +02:00
Frank Denis	05e02ecb41	Try WASI-SDK-10	2020-04-10 09:50:51 +02:00
Frank Denis	0d951454c1	Apparently, wasi-sdk-9 only works on Ubuntu 18.04	2020-04-07 11:04:22 +02:00
Frank Denis	fc5d2ae169	Revert "Pipelines: use wasi-sdk-9" ... This reverts commit 4fee277ee4.	2020-04-07 10:25:01 +02:00
Frank Denis	4fee277ee4	Pipelines: use wasi-sdk-9	2020-04-07 09:48:12 +02:00
Frank Denis	1972e217d5	Update wasi-sdk URL	2020-03-19 13:10:24 +01:00
Frank Denis	65f02e13eb	Remove the Azure Pipelines windows-reallyold job ... Azure removed the vs2015-win2012r2 image	2020-03-19 11:05:21 +01:00
Frank Denis	b5d8f36d31	Update wasi-sdk	2019-11-01 17:31:07 +01:00
Frank Denis	639782ef87	Update wasi-sdk	2019-10-11 12:24:14 +02:00
Frank Denis	5a9d93d371	The wasmer path is lost between tasks	2019-09-13 17:38:12 +02:00
Frank Denis	ea92e2e929	Install precompiled wasmer	2019-09-13 17:26:51 +02:00
Frank Denis	5e8969a48d	Revert "Try installing wasmtime instead of wasmer" ... This reverts commit 0dc43505f7.	2019-09-13 11:26:23 +02:00
Frank Denis	ab2c18cec2	Use rust-beta, that may be required to build wasmtime	2019-08-29 18:13:22 +02:00
Frank Denis	0dc43505f7	Try installing wasmtime instead of wasmer	2019-08-07 19:33:54 +02:00
Frank Denis	33e7fa9ee9	Update the WASI SDK	2019-08-07 19:26:27 +02:00
Frank Denis	db30653ca5	Use Azure Pipelines to produce WASI binaries	2019-05-30 13:23:53 +02:00
Frank Denis	53346c9553	Name things consistently	2019-05-29 15:34:08 +02:00
Frank Denis	0a9ec5c843	Conditions don't apply to scripts	2019-05-29 15:08:25 +02:00
Frank Denis	694420a82b	Parallelize MinGW builds	2019-05-29 14:56:29 +02:00
Frank Denis	2c8ba1354b	Reserve a branch for testing the next version	2019-05-29 14:31:21 +02:00
Frank Denis	a401c9825a	Don't trigger Azure Pipelines on PRs, keep Appveyor for this	2019-05-29 14:27:40 +02:00
Frank Denis	801229d946	Azure Pipelines: build MinGW binaries	2019-05-29 14:20:56 +02:00
Frank Denis	093bd973ed	azure-pipelines: remove the packages job	2019-05-28 23:16:33 +02:00
Frank Denis	35d1e848f5	Add Azure Pipelines rules	2019-05-28 21:01:01 +02:00