v1.199.2 to v1.200.0 · verimag / synchrone / rdbg · GitLab

Commits on Source 9

test: try to fix a test that only fails on the CI · c924cdfa
erwan authored Jan 12, 2023

c924cdfa
test: fix a test that only fails on the CI · dad8bdb3
erwan authored Jan 12, 2023

dad8bdb3
test: fix a test that only fails on the CI · 3e550e34
erwan authored Jan 12, 2023

3e550e34
test: fix a test that only fails on the CI · 12288f2f
erwan authored Jan 12, 2023

12288f2f

new: change generated files names to be compatible with dune conventions · 2f8cdcb2

erwan authored Jan 18, 2023

my-rdbg-tuning.ml -> .my-rdbg-tuning.ml
rdbg-cmds.ml -> rdbg-cmds.ml
rdbg-session<i>.ml -> rdbg-session<i>.ml
luretteSession<i>.ml -> luretteSession/luretteSession<i>.

2f8cdcb2

ci: disable some tests (involving $DISPLAY) · be48e00d
erwan authored Jan 18, 2023

be48e00d
ci: remove a test that is meaningless in the CI · c2d4bec0
erwan authored Jan 18, 2023

c2d4bec0
feat: force a version change (the naming convention change deserve it) · f327c4c9
erwan authored Jan 18, 2023

f327c4c9
ci: remove (for real!) a test that is meaningless in the CI · 0d1a2b4e
erwan authored Jan 18, 2023

0d1a2b4e