shallow clone to save space in CI (#1987)

* shallow clone

* also remove source dir after building in CI

* formatting

* pass them through?

* only CI

* add as variable
This commit is contained in:
Marc
2025-11-18 08:48:06 +01:00
committed by GitHub
parent eeb7d1a0c4
commit 853cb67e95
4 changed files with 22 additions and 2 deletions

View File

@@ -24,6 +24,11 @@ variable "CACHE" {
default = ""
}
variable "CI" {
# CI flag coming from the environment or --set; empty by default
default = ""
}
variable DEFAULT_PHP_VERSION {
default = "8.4"
}
@@ -141,6 +146,7 @@ target "static-builder-musl" {
}
args = {
FRANKENPHP_VERSION = VERSION
CI = CI
}
secret = ["id=github-token,env=GITHUB_TOKEN"]
}
@@ -165,6 +171,7 @@ target "static-builder-gnu" {
args = {
FRANKENPHP_VERSION = VERSION
GO_VERSION = GO_VERSION
CI = CI
}
secret = ["id=github-token,env=GITHUB_TOKEN"]
}