Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 7c0072e

Browse files
author
Matthias Koeppe
committed
Merge tag '9.7.beta2' into t/33316/drop_support_for_gcc___6_3_in_sage_9_7
SageMath version 9.7.beta2, Release Date: 2022-06-12
2 parents 33ca131 + a6e696e commit 7c0072e

File tree

1,283 files changed

+13181
-12526
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,283 files changed

+13181
-12526
lines changed

‎.github/workflows/build.yml‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,11 +29,13 @@ jobs:
2929

3030
- name: Prepare
3131
run: |
32+
# Install test tools.
33+
# Installation of python3-venv can be removed as soon as a
34+
# base image with a release including #33822 is available
35+
apt-get install -y git python3-venv
3236
# Reuse built SAGE_LOCAL contained in the Docker image
3337
./bootstrap
3438
./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-editable --enable-download-from-upstream-url
35-
# Install test tools
36-
apt-get install -y git
3739
3840
- name: Static code check with pyright
3941
run: pyright
@@ -44,6 +46,16 @@ jobs:
4446
MAKE: make -j2
4547
SAGE_NUM_THREADS: 2
4648

49+
- name: Pytest
50+
if: contains(github.ref, 'pytest')
51+
run: |
52+
../sage -python -m pip install coverage pytest-xdist
53+
../sage -python -m coverage run -m pytest -c tox.ini --doctest-modules || true
54+
working-directory: ./src
55+
env:
56+
# Increase the length of the lines in the "short summary"
57+
COLUMNS: 120
58+
4759
- name: Test
4860
run: |
4961
../sage -python -m pip install coverage

‎.github/workflows/ci-conda.yml‎

Lines changed: 5 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -43,15 +43,8 @@ jobs:
4343
bash ~/miniconda.sh -b -p $HOME/miniconda
4444
echo "CONDA=$HOME/miniconda" >> $GITHUB_ENV
4545
46-
- name: Install bootstrap prerequisites
47-
run: |
48-
export PATH="$(pwd)/build/bin:$PATH"
49-
SYSTEM=$(sage-guess-package-system)
50-
eval $(sage-print-system-package-command $SYSTEM --sudo install $(sage-get-system-packages $SYSTEM _bootstrap))
51-
52-
# Create conda environment file
53-
- name: Bootstrap
54-
run: ./bootstrap
46+
- name: Create conda environment files
47+
run: ./bootstrap-conda
5548

5649
- name: Cache conda packages
5750
uses: actions/cache@v2
@@ -80,6 +73,7 @@ jobs:
8073
shell: bash -l {0}
8174
continue-on-error: true
8275
run: |
76+
./bootstrap
8377
echo "::add-matcher::.github/workflows/configure-systempackage-problem-matcher.json"
8478
./configure --enable-build-as-root --with-python=$CONDA_PREFIX/bin/python --prefix=$CONDA_PREFIX $(for pkg in $(./sage -package list :standard: --has-file spkg-configure.m4 --has-file distros/conda.txt); do echo --with-system-$pkg=force; done)
8579
echo "::remove-matcher owner=configure-system-package-warning::"
@@ -88,8 +82,8 @@ jobs:
8882
- name: Build
8983
shell: bash -l {0}
9084
run: |
91-
pip install --no-build-isolation -v -v -e pkgs/sage-conf pkgs/sage-setup
92-
pip install --no-build-isolation -v -v -e src
85+
pip install --no-build-isolation -v -v -e ./pkgs/sage-conf ./pkgs/sage-setup
86+
pip install --no-build-isolation -v -v -e ./src
9387
env:
9488
SAGE_NUM_THREADS: 2
9589

‎.github/workflows/ci-cygwin-minimal.yml‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ jobs:
4848
- name: tox
4949
run: |
5050
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
51-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
51+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
5252
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
5353
- name: Prepare logs artifact
5454
shell: bash
@@ -108,7 +108,7 @@ jobs:
108108
- name: tox
109109
run: |
110110
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
111-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
111+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
112112
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
113113
- name: Prepare logs artifact
114114
shell: bash
@@ -180,7 +180,7 @@ jobs:
180180
- name: tox
181181
run: |
182182
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
183-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
183+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
184184
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
185185
- name: Prepare logs artifact
186186
shell: bash
@@ -250,7 +250,7 @@ jobs:
250250
- name: tox
251251
run: |
252252
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
253-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
253+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
254254
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
255255
- name: Prepare logs artifact
256256
shell: bash
@@ -318,7 +318,7 @@ jobs:
318318
- name: tox
319319
run: |
320320
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
321-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
321+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
322322
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
323323
- name: Prepare logs artifact
324324
shell: bash
@@ -386,7 +386,7 @@ jobs:
386386
- name: tox
387387
run: |
388388
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
389-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
389+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
390390
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
391391
- name: Prepare logs artifact
392392
shell: bash
@@ -454,7 +454,7 @@ jobs:
454454
- name: tox
455455
run: |
456456
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
457-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
457+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
458458
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
459459
- name: Prepare logs artifact
460460
shell: bash
@@ -526,7 +526,7 @@ jobs:
526526
- name: tox
527527
run: |
528528
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
529-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
529+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
530530
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
531531
- name: Prepare logs artifact
532532
shell: bash
@@ -598,7 +598,7 @@ jobs:
598598
- name: tox
599599
run: |
600600
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
601-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
601+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
602602
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
603603
- name: Prepare logs artifact
604604
shell: bash
@@ -670,7 +670,7 @@ jobs:
670670
- name: tox
671671
run: |
672672
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
673-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
673+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
674674
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
675675
- name: Prepare logs artifact
676676
shell: bash
@@ -740,7 +740,7 @@ jobs:
740740
- name: tox
741741
run: |
742742
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
743-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
743+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
744744
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
745745
- name: Prepare logs artifact
746746
shell: bash
@@ -808,7 +808,7 @@ jobs:
808808
- name: tox
809809
run: |
810810
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
811-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
811+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
812812
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
813813
- name: Prepare logs artifact
814814
shell: bash
@@ -876,7 +876,7 @@ jobs:
876876
- name: tox
877877
run: |
878878
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
879-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
879+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
880880
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
881881
- name: Prepare logs artifact
882882
shell: bash
@@ -944,7 +944,7 @@ jobs:
944944
- name: tox
945945
run: |
946946
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
947-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
947+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
948948
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
949949
- name: Prepare logs artifact
950950
shell: bash
@@ -1012,7 +1012,7 @@ jobs:
10121012
- name: tox
10131013
run: |
10141014
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
1015-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
1015+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
10161016
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
10171017
- name: Prepare logs artifact
10181018
shell: bash

‎.github/workflows/ci-cygwin-standard.yml‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ jobs:
4848
- name: tox
4949
run: |
5050
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
51-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
51+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
5252
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
5353
- name: Prepare logs artifact
5454
shell: bash
@@ -108,7 +108,7 @@ jobs:
108108
- name: tox
109109
run: |
110110
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
111-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
111+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
112112
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
113113
- name: Prepare logs artifact
114114
shell: bash
@@ -180,7 +180,7 @@ jobs:
180180
- name: tox
181181
run: |
182182
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
183-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
183+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
184184
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
185185
- name: Prepare logs artifact
186186
shell: bash
@@ -250,7 +250,7 @@ jobs:
250250
- name: tox
251251
run: |
252252
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
253-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
253+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
254254
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
255255
- name: Prepare logs artifact
256256
shell: bash
@@ -318,7 +318,7 @@ jobs:
318318
- name: tox
319319
run: |
320320
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
321-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
321+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
322322
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
323323
- name: Prepare logs artifact
324324
shell: bash
@@ -386,7 +386,7 @@ jobs:
386386
- name: tox
387387
run: |
388388
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
389-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
389+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
390390
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
391391
- name: Prepare logs artifact
392392
shell: bash
@@ -454,7 +454,7 @@ jobs:
454454
- name: tox
455455
run: |
456456
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
457-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
457+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
458458
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
459459
- name: Prepare logs artifact
460460
shell: bash
@@ -526,7 +526,7 @@ jobs:
526526
- name: tox
527527
run: |
528528
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
529-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
529+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
530530
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
531531
- name: Prepare logs artifact
532532
shell: bash
@@ -598,7 +598,7 @@ jobs:
598598
- name: tox
599599
run: |
600600
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
601-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
601+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
602602
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
603603
- name: Prepare logs artifact
604604
shell: bash
@@ -670,7 +670,7 @@ jobs:
670670
- name: tox
671671
run: |
672672
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
673-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
673+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
674674
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
675675
- name: Prepare logs artifact
676676
shell: bash
@@ -740,7 +740,7 @@ jobs:
740740
- name: tox
741741
run: |
742742
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
743-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
743+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
744744
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
745745
- name: Prepare logs artifact
746746
shell: bash
@@ -808,7 +808,7 @@ jobs:
808808
- name: tox
809809
run: |
810810
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
811-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
811+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
812812
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
813813
- name: Prepare logs artifact
814814
shell: bash
@@ -876,7 +876,7 @@ jobs:
876876
- name: tox
877877
run: |
878878
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
879-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
879+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
880880
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
881881
- name: Prepare logs artifact
882882
shell: bash
@@ -944,7 +944,7 @@ jobs:
944944
- name: tox
945945
run: |
946946
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
947-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
947+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
948948
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
949949
- name: Prepare logs artifact
950950
shell: bash
@@ -1012,7 +1012,7 @@ jobs:
10121012
- name: tox
10131013
run: |
10141014
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cat /proc/cpuinfo'
1015-
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
1015+
C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.9 -m pip install tox'
10161016
C:\\tools\\cygwin\\bin\\bash -l -x -c 'cd $(cygpath -u "$GITHUB_WORKSPACE") && PREFIX="${{ env.SAGE_LOCAL }}" tox -e local-cygwin-choco-${{ matrix.pkgs }} -- $TARGETS'
10171017
- name: Prepare logs artifact
10181018
shell: bash

‎.github/workflows/doc-build.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@ jobs:
2424
# Reuse built SAGE_LOCAL contained in the Docker image
2525
./bootstrap
2626
./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-download-from-upstream-url
27+
make furo
2728
2829
- name: Build
2930
run: make doc-html

0 commit comments

Comments
 (0)