Martin Pool 256a91019a ci: Move doctests to a separate parallel job (#38111) ...

Follow on from #37851 

This may reduce CI time by running doctests in parallel with other
tests. It also makes it easier to find the results.

Example output:
https://github.com/zed-industries/zed/actions/runs/17698218116/job/50300398669?pr=38111

At least on this run, the doctests finished before the main Linux tests,
which makes sense because there are many fewer doctests. So they should
not be on the critical path.

Thanks @maxdeviant for the prompt.

<img width="615" height="513" alt="image"
src="https://github.com/user-attachments/assets/bcafa636-a68c-4602-97f4-61f7904e6a7b"
/>


Release Notes:

- N/A

2025-09-14 12:01:00 -04:00

..

build_docs

ci: Switch from BuildJet to GitHub runners (#35826)

2025-08-07 16:59:11 -04:00

check_style

ci: Check spelling separately from formatting (#19385)

2024-10-17 13:47:23 -04:00

run_tests

ci: Move doctests to a separate parallel job (#38111)

2025-09-14 12:01:00 -04:00

run_tests_windows

ci: Remove Windows crash analysis CI scripts (#36694)

2025-09-03 00:24:00 +00:00