Skip to content

Commit d6947ae

Browse files
authored
chore: fix depot build (#6057)
1 parent b45c445 commit d6947ae

File tree

4 files changed

+9
-2
lines changed

4 files changed

+9
-2
lines changed

.github/workflows/docker-base.yaml

+7
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,13 @@ on:
1515

1616
workflow_dispatch:
1717

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+
1825
# Avoid running multiple jobs for the same commit.
1926
concurrency:
2027
group: ${{ github.workflow }}-${{ github.ref }}-docker-base
File renamed without changes.
File renamed without changes.

scripts/build_docker.sh

+2-2
Original file line numberDiff line numberDiff line change
@@ -112,8 +112,8 @@ fi
112112
cdroot
113113
temp_dir="$(TMPDIR="$(dirname "$input_file")" mktemp -d)"
114114
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/"
117117

118118
cd "$temp_dir"
119119

0 commit comments

Comments
 (0)