13 Commits

Author	SHA1	Message	Date
Rodrigo Q. Saramago	cf5d0d3f8b	Let the nightlies call themselves 'nightly', the return. ... Co-authored-by: Kamil Śliwak <cameel2@gmail.com>	2022-11-25 11:53:57 +01:00
Rodrigo Q. Saramago	9dbc3e0b82	Add git safe.directory workaround in emscripten build script ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2022-10-20 19:43:18 -03:00
Marenz	484c9d3ff0	Update docker images for emscripten.	2022-08-25 17:09:46 +02:00
Duc Thanh Nguyen	318dedf439	Update emscripten Dockerfile to 3.1.19	2022-08-25 13:08:13 +02:00
Daniel Kirchner	3a201ec0f8	Build packed soljson.js.	2022-02-14 16:52:59 +01:00
Daniel Kirchner	8e87c17671	Remove old compatibility patch to soljson.js.	2021-11-04 11:44:31 +01:00
Kamil Śliwak	4c186321c8	Replace some older shell syntax with newer and/or more reliable equivalents	2021-03-04 16:53:05 +01:00
Kamil Śliwak	27754d3e3d	Quote stuff properly	2021-02-01 17:14:38 +01:00
Kamil Śliwak	6d44055556	Fix inconsistent indentation	2021-02-01 17:03:05 +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	10c742ed0a	Update emscripten build to be compatible with new docker image.	2021-01-13 01:09:34 +01:00
Kamil Śliwak	5560239cf5	Replace links to readthedocs.io with ones using the new domain	2020-11-18 15:20:34 +01:00
chriseth	3654dccb96	Disable travis.	2020-10-19 18:06:30 +02:00