You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As a follow up to #30923, we improve the `local-sudo-...` environments
as follows:
- Provide alternative environments `local-root...`, which assume that we
are already root, removing the `sudo` requirement (which is not
installed on github actions and not needed there)
- Use `configure --enable-build-as-root` for `local-root`
- Add `DEBIAN_FRONTEND: noninteractive` to the installation of packages
via `apt get` (otherwise installation of `tzdata` blocks CI)
- Make `tox -e local-sudo-standard -- config.status` only build
`config.status` instead of also invoking `make base-toolchain` (which is
run as the required first step of the Sage build system before something
like `make numpy` can be run; see #30721).
URL: https://trac.sagemath.org/30944
Reported by: gh-tobiasdiez
Ticket author(s): Matthias Koeppe
Reviewer(s): Jonathan Kliem
0 commit comments