28 commits

Author	SHA1	Message	Date
Fardale	8d6c7470eb	Revert "ci: test containers-data on windows and macos" ... This reverts commit 75a2f8a325.	2021-04-04 23:39:48 +02:00
Fardale	72b25cfa29	Revert "ci: install test dependency for containers-data on windows and macos" ... This reverts commit ca3ca3aaff.	2021-04-04 23:39:37 +02:00
Fardale	ca3ca3aaff	ci: install test dependency for containers-data on windows and macos	2021-04-04 23:32:46 +02:00
Fardale	75a2f8a325	ci: test containers-data on windows and macos	2021-04-04 23:23:46 +02:00
Fardale	79bbb5ce33	ci: fix cache key for gh-pages	2021-04-03 20:27:44 +02:00
Fardale	701a558676	ci: fix cache for gh-pages job	2021-04-03 20:25:54 +02:00
Fardale	b2342ead0a	ci: update ocaml version for gh-pages	2021-04-03 16:41:54 +02:00
Fardale	c7b4c0d0de	ci: limit test to 1 process for windows and macos	2021-04-03 12:37:11 +02:00
Fardale	02224148c6	ci: fix name of the main branch	2021-04-02 21:25:08 +02:00
Fardale	8e1e4d36ed	ci: fix caching and other improvement	2021-04-02 21:23:00 +02:00
Simon Cruanes	3bee276028	try to fix stupid CI	2021-02-06 12:22:20 -05:00
Fardale	f313361df7	try to fix CI for gh-pages	2021-01-26 12:03:12 +01:00
Fardale	5520735a77	fix: enable jekyll on gh-pages	2021-01-26 11:55:50 +01:00
Fardale	179d19e444	fix(CI): correct the name of the main branch	2021-01-26 11:43:07 +01:00
Fardale	b34c3fe75a	try to enable auto deploy of doc	2021-01-26 11:41:44 +01:00
Fardale	124a808b54	chore(CI): test core on non ubuntu platform	2021-01-25 19:44:00 +01:00
Fardale	a6318949f6	chore(CI): run test only on Ubuntu	2021-01-25 18:51:11 +01:00
Simon Cruanes	bb8a9d02d7	chore: try to optimize CI a bit further	2020-12-22 10:45:43 -05:00
Simon Cruanes	fb4891dac3	yoloize the github CI cache	2020-12-22 10:45:43 -05:00
Simon Cruanes	330e026d0a	try to enable cache in CI	2020-12-22 10:45:43 -05:00
Simon Cruanes	4b68dc204a	chore: activate CI on PRs	2020-12-13 17:14:28 -05:00
Simon Cruanes	af05520e3b	chore: try and remove travis to use github CI instead	2020-11-10 14:06:03 -05:00
Simon Cruanes	9fe414f793	chore: small refactor of github actions ... sadly the matrix thing is not expressive enough to use a given switch only on a given OS (like, windows + mingw32). So, 🤷	2020-08-05 14:05:12 -04:00
Simon Cruanes	8a60d44946	ci: try to test on mac OS again, amend tests, make mdx optional	2020-07-30 19:12:49 -04:00
Simon Cruanes	4ac67a7518	chore(ci): fix bad test logic	2020-07-24 09:58:17 -04:00
Simon Cruanes	fa1f6170d1	chore: github actions: only run tests on linux	2020-07-22 18:24:12 -04:00
Simon Cruanes	aba959aa89	chore(ci): widen support for github CI	2020-07-22 18:00:54 -04:00
Simon Cruanes	c2cab292b1	chore: add github ci	2020-07-22 17:40:59 -04:00