You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
e3-testsuite-driver relies on rlimit to implement timeouts, and this does not seem to work on GitHub Action machines. Deactivate this timeout, and rely instead on the fine-grained timeout mechanism implemented by the test runner.