replace 22.10 by 23.10

feelpp · Dec 4, 2023 · 6186567 · 6186567
1 parent a98da61
commit 6186567
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/feelpp-env.yml b/.github/workflows/feelpp-env.yml
@@ -48,7 +48,7 @@ jobs:
       matrix: 
         include:
           - {service: feelpp-env, dist: focal, flavor: ubuntu, version: "20.04", tag: ubuntu-20.04, experimental: false, dockerfile: Dockerfile }
-          - {service: feelpp-env, dist: kinetic, flavor: ubuntu, version: "22.10", tag: ubuntu-22.10, experimental: false, dockerfile: Dockerfile }
+          - {service: feelpp-env, dist: mantic, flavor: ubuntu, version: "23.10", tag: ubuntu-23.10, experimental: false, dockerfile: Dockerfile }
           - {service: feelpp-env, dist: jammy, flavor: ubuntu, version: "22.04", tag: ubuntu-22.04, experimental: false, dockerfile: Dockerfile }
 #          - {service: feelpp-env, dist: buster, flavor: debian, version: 10, tag: debian-10, experimental: false, dockerfile: Dockerfile }
           - {service: feelpp-env, dist: bullseye, flavor: debian, version: "11", tag: debian-11, experimental: false, dockerfile: Dockerfile }

diff --git a/feelpp-env/Dockerfile-ubuntu-23.10 b/feelpp-env/Dockerfile-ubuntu-23.10
@@ -0,0 +1 @@
+