Skip to content

Commit ed68d68

Browse files
authored
Merge branch 'sagemath:develop' into modules_with_basis/map_coefficients_on_sf/construction-functional
2 parents 65d715f + 15fcf52 commit ed68d68

3,627 files changed

Lines changed: 8676 additions & 4020 deletions

File tree

Some content is hidden

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

.devcontainer/portability-ubuntu-trusty-toolchain-gcc_9-minimal/devcontainer.json renamed to .devcontainer/portability-fedora-40-minimal/devcontainer.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@
33
// from .devcontainer/portability-devcontainer.json.in
44
// See https://aka.ms/devcontainer.json for format details.
55
{
6-
"name": "ubuntu-trusty-toolchain-gcc_9-minimal (≥ 8-core)",
6+
"name": "fedora-40-minimal (≥ 8-core)",
77
"build": {
88
"dockerfile": "portability-Dockerfile",
99
// See tox.ini for definitions
1010
"args": {
11-
"SYSTEM_FACTOR": "ubuntu-trusty-toolchain-gcc_9",
11+
"SYSTEM_FACTOR": "fedora-40",
1212
"PACKAGE_FACTOR": "minimal",
1313
"DOCKER_TARGET": "with-targets",
1414
"DOCKER_TAG": "dev"

.devcontainer/portability-opensuse-15.3-gcc_11-python3.9-minimal/portability-Dockerfile renamed to .devcontainer/portability-fedora-40-minimal/portability-Dockerfile

File renamed without changes.

.devcontainer/portability-ubuntu-trusty-toolchain-gcc_9-standard/devcontainer.json renamed to .devcontainer/portability-fedora-40-standard/devcontainer.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@
33
// from .devcontainer/portability-devcontainer.json.in
44
// See https://aka.ms/devcontainer.json for format details.
55
{
6-
"name": "ubuntu-trusty-toolchain-gcc_9-standard (≥ 8-core)",
6+
"name": "fedora-40-standard (≥ 8-core)",
77
"build": {
88
"dockerfile": "portability-Dockerfile",
99
// See tox.ini for definitions
1010
"args": {
11-
"SYSTEM_FACTOR": "ubuntu-trusty-toolchain-gcc_9",
11+
"SYSTEM_FACTOR": "fedora-40",
1212
"PACKAGE_FACTOR": "standard",
1313
"DOCKER_TARGET": "with-targets",
1414
"DOCKER_TAG": "dev"

.devcontainer/portability-opensuse-15.3-gcc_11-python3.9-standard/portability-Dockerfile renamed to .devcontainer/portability-fedora-40-standard/portability-Dockerfile

File renamed without changes.

.devcontainer/portability-opensuse-15.3-gcc_11-python3.9-minimal/devcontainer.json renamed to .devcontainer/portability-gentoo-python3.12-minimal/devcontainer.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@
33
// from .devcontainer/portability-devcontainer.json.in
44
// See https://aka.ms/devcontainer.json for format details.
55
{
6-
"name": "opensuse-15.3-gcc_11-python3.9-minimal (≥ 8-core)",
6+
"name": "gentoo-python3.12-minimal (≥ 8-core)",
77
"build": {
88
"dockerfile": "portability-Dockerfile",
99
// See tox.ini for definitions
1010
"args": {
11-
"SYSTEM_FACTOR": "opensuse-15.3-gcc_11-python3.9",
11+
"SYSTEM_FACTOR": "gentoo-python3.12",
1212
"PACKAGE_FACTOR": "minimal",
1313
"DOCKER_TARGET": "with-targets",
1414
"DOCKER_TAG": "dev"

.devcontainer/portability-opensuse-15.4-gcc_11-python3.10-minimal/portability-Dockerfile renamed to .devcontainer/portability-gentoo-python3.12-minimal/portability-Dockerfile

File renamed without changes.

.devcontainer/portability-opensuse-15.3-gcc_11-python3.9-standard/devcontainer.json renamed to .devcontainer/portability-gentoo-python3.12-standard/devcontainer.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@
33
// from .devcontainer/portability-devcontainer.json.in
44
// See https://aka.ms/devcontainer.json for format details.
55
{
6-
"name": "opensuse-15.3-gcc_11-python3.9-standard (≥ 8-core)",
6+
"name": "gentoo-python3.12-standard (≥ 8-core)",
77
"build": {
88
"dockerfile": "portability-Dockerfile",
99
// See tox.ini for definitions
1010
"args": {
11-
"SYSTEM_FACTOR": "opensuse-15.3-gcc_11-python3.9",
11+
"SYSTEM_FACTOR": "gentoo-python3.12",
1212
"PACKAGE_FACTOR": "standard",
1313
"DOCKER_TARGET": "with-targets",
1414
"DOCKER_TAG": "dev"

.devcontainer/portability-opensuse-15.4-gcc_11-python3.10-standard/portability-Dockerfile renamed to .devcontainer/portability-gentoo-python3.12-standard/portability-Dockerfile

File renamed without changes.

.devcontainer/portability-opensuse-15.4-gcc_11-python3.10-minimal/devcontainer.json renamed to .devcontainer/portability-linuxmint-21.3-minimal/devcontainer.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@
33
// from .devcontainer/portability-devcontainer.json.in
44
// See https://aka.ms/devcontainer.json for format details.
55
{
6-
"name": "opensuse-15.4-gcc_11-python3.10-minimal (≥ 8-core)",
6+
"name": "linuxmint-21.3-minimal (≥ 8-core)",
77
"build": {
88
"dockerfile": "portability-Dockerfile",
99
// See tox.ini for definitions
1010
"args": {
11-
"SYSTEM_FACTOR": "opensuse-15.4-gcc_11-python3.10",
11+
"SYSTEM_FACTOR": "linuxmint-21.3",
1212
"PACKAGE_FACTOR": "minimal",
1313
"DOCKER_TARGET": "with-targets",
1414
"DOCKER_TAG": "dev"

.devcontainer/portability-ubuntu-trusty-toolchain-gcc_9-minimal/portability-Dockerfile renamed to .devcontainer/portability-linuxmint-21.3-minimal/portability-Dockerfile

File renamed without changes.

0 commit comments

Comments
 (0)