Sora Morimoto
|
a3f27bd3cb
|
Update GitHub Actions workflows
Signed-off-by: Sora Morimoto <sora@morimoto.io>
|
2022-09-03 14:06:22 -04:00 |
|
Simon Cruanes
|
a4438dbdf6
|
fix a test for 4.04
|
2022-03-30 16:23:40 -04:00 |
|
Simon Cruanes
|
4ad8d91f7c
|
chore: ensure CI runs all tests
|
2022-03-30 12:55:03 -04:00 |
|
Simon Cruanes
|
5ef3a03d35
|
chore: ci
|
2022-03-30 12:55:03 -04:00 |
|
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 |
|