diff --git a/.github/workflows/core_containers.yml b/.github/workflows/containers.yml similarity index 95% rename from .github/workflows/core_containers.yml rename to .github/workflows/containers.yml index b7ff2a696..b72220f05 100644 --- a/.github/workflows/core_containers.yml +++ b/.github/workflows/containers.yml @@ -1,4 +1,4 @@ -name: Build and push core containers +name: "[CD] Build and push containers" on: push: diff --git a/.github/workflows/env_containers.yml b/.github/workflows/env_containers.yml deleted file mode 100644 index a779808b3..000000000 --- a/.github/workflows/env_containers.yml +++ /dev/null @@ -1,19 +0,0 @@ -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 }}