use same docker image for devcontainer and CI

OmarTawfik-forks · Oct 31, 2023 · 6522937 · 6522937
1 parent 7bb650b
commit 6522937
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 5 deletions.
diff --git a/.github/workflows/_jobs_ci.yml b/.github/workflows/_jobs_ci.yml
@@ -6,7 +6,9 @@ on:
 
 jobs:
   run:
-    runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    runs-on: "ubuntu-latest"
+    container: "mcr.microsoft.com/devcontainers/base:ubuntu-22.04"
 
     steps:
       #

diff --git a/.github/workflows/_jobs_github_pages.yml b/.github/workflows/_jobs_github_pages.yml
@@ -10,7 +10,9 @@ on:
 
 jobs:
   run:
-    runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    runs-on: "ubuntu-latest"
+    container: "mcr.microsoft.com/devcontainers/base:ubuntu-22.04"
 
     environment:
       name: "github-pages"

diff --git a/.github/workflows/_jobs_publish.yml b/.github/workflows/_jobs_publish.yml
@@ -10,7 +10,9 @@ on:
 
 jobs:
   changesets:
-    runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    runs-on: "ubuntu-latest"
+    container: "mcr.microsoft.com/devcontainers/base:ubuntu-22.04"
 
     steps:
       #
@@ -55,10 +57,12 @@ jobs:
 
   assets:
     needs: "changesets"
-    runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
-
     if: "${{ needs.changesets.outputs.hasChangesets == 'false' }}"
 
+    # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
+    runs-on: "ubuntu-latest"
+    container: "mcr.microsoft.com/devcontainers/base:ubuntu-22.04"
+
     steps:
       #
       # _DEVCONTAINER_PREPARATION_STEPS_ (keep in sync)