From ad370cbbcd34170f5ca5e4c6dc5db15263fbe974 Mon Sep 17 00:00:00 2001
From: Matthias <xmatthias@outlook.com>
Date: Sat, 27 Apr 2024 09:37:25 +0000
Subject: [PATCH] Add github action to pre-build containers

---
 .github/workflows/devcontainer-build.yml | 43 ++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 .github/workflows/devcontainer-build.yml

diff --git a/.github/workflows/devcontainer-build.yml b/.github/workflows/devcontainer-build.yml
new file mode 100644
index 000000000..5dd05218f
--- /dev/null
+++ b/.github/workflows/devcontainer-build.yml
@@ -0,0 +1,43 @@
+name: Devcontainer Pre-Build
+
+on:
+  workflow_dispatch:
+  # push:
+  #   branches:
+  #     - "master"
+  #   tags:
+  #     - "v*.*.*"
+  #   pull_requests:
+  #     branches:
+  #       - "master"
+
+concurrency:
+  group: "${{ github.workflow }}"
+  cancel-in-progress: true
+
+permissions:
+  packages: write
+
+jobs:
+  build-and-push:
+    runs-on: ubuntu-latest
+    steps:
+    -
+      name: Checkout
+      id: checkout
+      uses: actions/checkout@v1
+    -
+        name: Login to GitHub Container Registry
+        uses: docker/login-action@v2
+        with:
+          registry: ghcr.io
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+    -
+        name: Pre-build dev container image
+        uses: devcontainers/ci@v0.2
+        with:
+          subFolder: .github
+          imageName: ghcr.io/${{ github.repository }}-devcontainer
+          cacheFrom: ghcr.io/${{ github.repository }}-devcontainer
+          push: always