chore: update link to GitHub mirror

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
This commit is contained in:
Andrei Jiroh Halili 2023-10-21 09:53:39 +08:00
parent 230baff1ec
commit 424a978bff
No known key found for this signature in database
GPG key ID: 67BFC91B3DA12BE8
2 changed files with 3 additions and 6 deletions

View file

@ -16,7 +16,6 @@ env:
# github.repository as <account>/<repo>
IMAGE_NAME: ${{ github.repository }}
jobs:
build-ci:
name: Build environment for GitLab CI/CD
@ -165,6 +164,4 @@ jobs:
labels: ${{ steps.meta.outputs.labels }}
cache-from: |
type=registry,ref=quay.io/ajhalili2006/gitpod-workspace:buildkit-cache-web
type=registry,ref=ghcr.io/ajhalili2006/ajhalili2006.github.io/devenv:nightly
type=registry,ref=ghcr.io/ajhalili2006/ajhalili2006.github.io/devenv:branch-main
#cache-to: type=registry,ref=quay.io/ajhalili2006/gitpod-workspace:buildkit-cache-web
type=registry,ref=ghcr.io/ajhalili2006/website/devenv:nightly