1
mirror of https://github.com/jedisct1/libsodium.git synced 2024-12-20 10:37:24 -07:00
Commit Graph

12 Commits

Author SHA1 Message Date
Frank Denis
b817cd8fc8 Fix wasi-sdk path 2020-04-25 12:42:01 +02:00
Frank Denis
5ce5f2dce6 Apparently, wasi-sdk-9 only works on Ubuntu 18.04 2020-04-07 11:00:58 +02:00
Frank Denis
d0047f9cdf Pipelines: use wasi-sdk 8, remove vs2015-win2012r2 2020-04-07 10:24:17 +02:00
Frank Denis
36dcdafca4 Update wasi-sdk 2019-10-11 12:24:58 +02:00
Frank Denis
78bb279b6c The wasmer path is lost between tasks 2019-09-13 17:34:48 +02:00
Frank Denis
67f2f10dd6 Install precompiled wasmer 2019-09-13 17:27:32 +02:00
Frank Denis
2b332befe2 Revert "Try installing wasmtime instead of wasmer"
This reverts commit c572f24ddf.
2019-09-13 11:34:40 +02:00
Frank Denis
7ce1e62919 Update wasi-sdk and use rust-beta, currently required to build wasmtime 2019-08-29 18:07:12 +02:00
Frank Denis
c572f24ddf Try installing wasmtime instead of wasmer 2019-08-07 19:52:44 +02:00
Frank Denis
940ef42797 1.0.18 2019-05-30 21:57:51 +02:00
Frank Denis
d438a807c0 Parallelize MinGW32 builds on Azure Pipelines 2019-05-29 15:33:33 +02:00
Frank Denis
fe2bdb39d5 Add support for Azure Pipelines 2019-05-29 14:41:48 +02:00