ci: bump docker image ver to 13

STEllAR-GROUP · Jul 21, 2022 · 789bccc · 789bccc
1 parent 58d7f4c
commit 789bccc
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -10,7 +10,7 @@ working_dir_default: &working_dir_default
 
 docker_default: &docker_default
     docker:
-      - image: stellargroup/build_env:12
+      - image: stellargroup/build_env:13
 
 defaults: &defaults
     <<: *working_dir_default

diff --git a/.github/workflows/linux_bors.yml b/.github/workflows/linux_bors.yml
@@ -16,7 +16,7 @@ jobs:
   build:
     name: Bors
     runs-on: ubuntu-latest
-    container: stellargroup/build_env:11
+    container: stellargroup/build_env:13
 
     steps:
     - uses: actions/checkout@v2

diff --git a/.github/workflows/linux_debug.yml b/.github/workflows/linux_debug.yml
@@ -11,7 +11,7 @@ on: [pull_request]
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: stellargroup/build_env:11
+    container: stellargroup/build_env:13
 
     steps:
     - uses: actions/checkout@v2

diff --git a/.github/workflows/linux_release_fetchcontent.yml b/.github/workflows/linux_release_fetchcontent.yml
@@ -11,7 +11,7 @@ on: [pull_request]
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: stellargroup/build_env:11
+    container: stellargroup/build_env:13
 
     steps:
     - uses: actions/checkout@v2

diff --git a/.github/workflows/linux_sanitizers.yml b/.github/workflows/linux_sanitizers.yml
@@ -11,7 +11,7 @@ on: [pull_request]
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: stellargroup/build_env:11
+    container: stellargroup/build_env:13
 
     steps:
     - uses: actions/checkout@v2

diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
@@ -3,7 +3,7 @@
 # Distributed under the Boost Software License, Version 1.0. (See accompanying
 # file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 
-FROM stellargroup/build_env:11
+FROM stellargroup/build_env:13
 
 # docker build needs to be run in /usr/local
 COPY . /usr/local