[base_containers] Move containers to GitHub registry (#921)

.github/workflows/env_containers.yml

@@ -0,0 +1,19 @@
+name: Build and push base grading containers
+
+on:
+  push:
+    branches: [master]
+
+  workflow_dispatch:
+
+jobs:
+  containers_build_and_push:
+    uses: INGInious/.github/.github/workflows/containers.yml@673723b119b1a92695dd5fea1520f5ae28e38abb
+    with:
+      working-directory: base-containers 
+      context-path: context.yml
+      compose-path: compose.yml
+      registry: ghcr.io
+    secrets:
+      GHCR_USERNAME: ${{ secrets.GHCR_USERNAME }}
+      GHCR_TOKEN: ${{ secrets.GHCR_TOKEN }}

base-containers/base/Dockerfile

@@ -5,6 +5,9 @@ ENV LANG en_US.UTF-8
 ENV LANGUAGE en_US:en  
 ENV LC_ALL en_US.UTF-8
 
+LABEL org.opencontainers.image.source=https://github.com/UCL-INGI/INGInious-containers
+LABEL org.opencontainers.image.description="Base INGInious grading environment."
+
 LABEL org.inginious.grading.agent_version=3
 
 # Install python, needed for scripts used in INGInious + locale support

base-containers/context.yml

@@ -0,0 +1,5 @@
+images:
+  base:
+  default:
+    - base
+base_path: "."

base-containers/default/Dockerfile

@@ -2,5 +2,10 @@
 
 #inherit from the base container, which have all the needed script to launch tasks
 ARG   VERSION=latest
-FROM  ingi/inginious-c-base:${VERSION}
+ARG   REGISTRY
+FROM  ${REGISTRY}/inginious/env-base:${VERSION}
+
+LABEL org.opencontainers.image.source=https://github.com/UCL-INGI/INGInious-containers
+LABEL org.opencontainers.image.description="Default INGInious grading environment."
+
 LABEL org.inginious.grading.name="default"