Fix red develop 82ea879b0e05
The merge lane found `develop` red at `82ea879b0e05cc5aa609127970aa4964659d124e` on its own: no queued PR merges until it is fixed.
Failing (tests and gate stages):
- `tests/test_console_folder_session.py::test_a_new_console_session_on_a_folder_project_makes_a_user_held_folder_slot`
- `tests/test_console_folder_session.py::test_exit_frees_the_folder_slot_and_the_sweep_orders_its_folder_destroyed`
- `api-unit-dc-test`
The whole gate log: artifact `12737` on lane task 11633.
Make `develop` pass its full gate again. Open a PR as usual: the merge lane merges a PR that fixes some of these and adds no failure even while `develop` is red.
Outcome
Fixed red develop: test_console_folder_session sent the project name to agent routes after 82ea879b0 retired name resolution; now sends project_id. 13 tests pass, quick gate green. PR #7446 queued to the merge lane.
Artifacts
Activity
- Ready
- Runner started
- Runner ended (done)