gh-36627: CI Linux: Build the default platform in one job
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes #1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->
This job is the combination of the "default-pre" job and the first half
of the "default" job (with `make ptest` removed). It takes about 4 hours
and so it fits robustly in the 6h job limit. (Test run:
https://github.com/mkoeppe/sage/actions/runs/6727624213/job/18285698639)
Together with #36616, which deliberately clogs the pipeline with ~50
"standard-pre" jobs, this gives the following behavior when a release
tag is pushed:
- "default" is scheduled
- ~45 "standard-pre" jobs are scheduled (runtime 0.5 to 4 hours)
- ~45 "minimal-pre" jobs (with max-parallel = 20) are scheduled (3 to 4
hours)
- this is calibrated (and can be recalibrated later) so as to keep CI
jobs from PRs waiting until the Docker image built by "default" is
available.
During the clogging time, developers can rebase their PRs to the latest
develop.
<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes #12345". -->
<!-- If your change requires a documentation PR, please link it
appropriately. -->
### :memo: Checklist
<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
<!-- Feel free to remove irrelevant items. -->
- [x] The title is concise, informative, and self-explanatory.
- [ ] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.
### :hourglass: Dependencies
<!-- List all open PRs that this PR logically depends on
- #12345: short description why this is a dependency
- #34567: ...
-->
- Depends on #36616 (merged here)
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
URL: https://github.com/sagemath/sage/pull/36627
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee