Summary
- Fix INRIA CI job other-configs (commit: cb0f2be) (details)
- fixes suggested by reviewer (commit: 2d294ca) (details)
- Fix ocamltest criterion for using `-custom` to link test file. (#14230) (commit: a18fbb7) (details)
- manual(etex): trim leading spaces (#14228) (commit: 7cd5ca2) (details)
- Fix test-in-prefix (#14216) (commit: 374aee4) (details)
The file was modified | tools/ci/inria/main (diff) |
The file was modified | tools/ci/inria/other-configs/script (diff) |
The file was modified | tools/ci/inria/other-configs/script (diff) |
The file was modified | tools/ci/inria/main (diff) |
The file was modified | ocamltest/ocaml_actions.ml (diff) |
The file was modified | Changes (diff) |
The file was modified | manual/src/library/builtin.etex (diff) |
The file was modified | Changes (diff) |
The file was modified | testsuite/tools/testRelocation.ml (diff) |