CopilotandCopybot 27aac33259 Add .lean, .lean4, and .hs as editable/viewable file types (#31716) ...

GitOrigin-RevId: c3ee7592d0a1096ac96ca9514579c559d028b840

2026-03-09 09:05:48 +00:00

..

acceptance

Merge pull request #31889 from overleaf/ar-remove-web-smoke-test

2026-03-06 09:11:30 +00:00

frontend

Add .lean, .lean4, and .hs as editable/viewable file types (#31716)

2026-03-09 09:05:48 +00:00

unit

Add .lean, .lean4, and .hs as editable/viewable file types (#31716)

2026-03-09 09:05:48 +00:00

mocha-multi-reporters.js

[web] override timeout for a specific template (#30711)

2026-01-15 14:19:33 +00:00