Commit fe2e657b authored by erwan's avatar erwan
Browse files

Fix ci: rdbg now have some ext dep (because of ledit, because of camlp5)

parent c6d6814a
Pipeline #62004 passed with stages
in 4 minutes and 4 seconds