Commit graph

12 commits

Author SHA1 Message Date
Simon Cruanes
5a156490ab
workflow to build dev docs 2022-03-16 22:40:58 -04:00
Simon Cruanes
7347f55d14
try to fix CI 2022-03-03 23:23:02 -05:00
Simon Cruanes
f40320a059
wip: fix CI 2022-03-03 22:19:48 -05:00
Sora Morimoto
008eae1236 Cleanup GitHub Actions workflow
Signed-off-by: Sora Morimoto <sora@morimoto.io>
2022-01-04 13:54:53 +09:00
Simon Cruanes
b468854626
test: use different ports for each test, run some targets only on linux 2021-12-11 16:32:15 -05:00
Simon Cruanes
bcce3e22dc
CI: test only on linux 2021-12-11 16:08:16 -05:00
Simon Cruanes
8a914448c9 avoid dune stanza for inline tests
simpler to just do the testing ourselves
2021-06-02 15:39:50 -04:00
Simon Cruanes
e5d5f60e67 chore: try to fix CI 2021-06-01 10:53:33 -04:00
Simon Cruanes
0138f22826 use 4.08 for ci 2021-02-01 11:23:41 -05:00
Simon Cruanes
06ef1fc787 ci stuff 2021-02-01 11:15:49 -05:00
Simon Cruanes
53cf1fbde0 chore: update opam version, try to fix CI 2020-03-25 23:23:06 -04:00
Simon Cruanes
0f77a120d2 chore: add github action 2020-01-29 10:49:28 -06:00