Commitd6947ae

authored

chore: fix depot build (#6057)

1 parentb45c445 commitd6947aeCopy full SHA for d6947ae

File tree

-2

lines changed

-2

lines changed

Lines changed: 7 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,13 @@ on:`
`15`	`15`
`16`	`16`	`workflow_dispatch:`
`17`	`17`
	`18`	`+permissions:`
	`19`	`+contents:read`
	`20`	`+# Necessary to push docker images to ghcr.io.`
	`21`	`+packages:write`
	`22`	`+# Necessary for depot.dev authentication.`
	`23`	`+id-token:write`
	`24`	`+`
`18`	`25`	`# Avoid running multiple jobs for the same commit.`
`19`	`26`	`concurrency:`
`20`	`27`	`group:${{ github.workflow }}-${{ github.ref }}-docker-base`

File renamed without changes.

File renamed without changes.

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -112,8 +112,8 @@ fi`
`112`	`112`	`cdroot`
`113`	`113`	`temp_dir="$(TMPDIR="$(dirname"$input_file")" mktemp -d)"`
`114`	`114`	`ln"$input_file""$temp_dir/coder"`
`115`		`-ln Dockerfile.base"$temp_dir/"`
`116`		`-ln Dockerfile"$temp_dir/"`
	`115`	`+ln./scripts/Dockerfile.base"$temp_dir/"`
	`116`	`+ln./scripts/Dockerfile"$temp_dir/"`
`117`	`117`
`118`	`118`	`cd"$temp_dir"`
`119`	`119`

Comments

(0)