Jakob Ackermann 5a5763884e [github] code spaces: tweaks from initial feedback (#32834) ...

* [github] code spaces: add more standard users with a common password

* [github] code spaces: automatically share dev-env with Overleaf org

* [github] code spaces: merge split tests rather than replacing them

* [github] code spaces: ts-check the setup script in web

GitOrigin-RevId: 1a86ac7e0304d47e68290352f58a0e193eed1d77

2026-04-16 08:06:10 +00:00

4.3 KiB

Raw Blame History

View Raw